Enhancement for moving platforms up/down

Player now can jump for five frames after leaving a platform in order to
fix a glitch when the player was unable to jump when leaving a vertical
platform which was moving downwards
Merge remote-tracking branch 'origin/Jan'