Fix type specs in erltrek_ship.erl

Fixes #41.

Also fixed type spec for refill_energy/1.