Make player fall through platform when pushed by ceiling.

Coincidentally, this also (mostly) fixed the bug where the first
collision with the platform was visually jarring. The algorithm for the
initial collision detection wasn't very logical. This is fixed. This is
also a good setup for the "jump down" from platforms functionality that
is yet to come.