Further implementations on mission definitions. Introduction of mission revision. TODO: If mission has another revision number than the current one, resubmit the whole gametree. Also fixes issue #58