More features!

- More information about the pilot’s ship
- Pilots can rename their vessels now!
The update party continues!

Closes #1
Better galactic map!

But I really hate the Google Maps API. I think I’m gonna switch back to
<canvas>