Platform Jump Through

Player can jump through platforms when moving in a positive vertical
direction.