Version 1.01 released: various bug fixes/tweaks

Hi everyone, A few people have mentioned issues regarding collisions and the controls feeling slightly too slippery. Most of the issues seemed to be in levels 1-2 and 1-3. I just released a patch that addresses those concerns. This patch affects both Windows and Linux builds. Changes: - Increased friction a bit, so the player stops more quickly, allowing more precise platforming - Adjusted collision boxes of various walls and spikes that were causing trouble