Small optimizations for network traffic

Rounding player locations, using degrees for angles, shortening names,
using 12-bit colors instead of 24-bit colors.  There's obviously still
lots of room for improvement, but I'd rather get a game before I worry
about optimizing it.  However, at the moment I can only host 5 players
on our meager upload speed, which is less than ideal.