Merge branch 'develop' of https://github.com/cothientai/Verkeersland into develop
Merge branch 'develop' of https://github.com/cothientai/Verkeersland into develop
 - Puzzle manager fixed to work with the server.
 - Octory updated with not displaying the ongui.