An open source asteroid mining game.