Add repair.py in reality... and fix the damaged_ships() list to include ships
under repair.