Add Player collision with Platform.

Originally I wanted to put this logic in Platform rather than Player,
but the fact that there was no way to intercept yVel in between fall and
update made this impossible. This resulted in a less-than-ideal commit
that warrants cleanup in the future.