Fixed player rendering for real.

It involved math I'd rather not have had to do, but it's done and it
works and it doesn't look aliased in Google Chrome and it doesn't look
blurry in Mozilla Firefox and it doesn't put bits of outline on other
objects drawn earlier.