Added 'all' as a valid planet name to build_ships, and removed topoff_ships_all.py, since build_ships.py is now doing its job.