Added javadoc/JML-specs to Game, Server and ServerPeer.
Renamed package ss.project.engine to ss.project.model.