Make player health persistent, add repair function

Currently, player health and shield values don’t persist across jumps, or after docking and undocking from a station. Player health should persist, and a repair function added to stations, so that the player can repair their ship after combat.