Merge mars-game from svn://mars-game.svn.sourceforge.net/svnroot/mars-game into svn_history

Loosing the history of what was done before leaving svn for git would be a shame.