In platformer.html, made jumping more responsive. Specifically, stopped checking for exhaustion of jumpPropelRemainingMillis reactively (which required a delay), and did that check in the animation stepper instead.