Option to not shut down on campaign end

Adds possibility to not shut down the server once campaign ends.
Useful for debugging.

Close #15. Close #54.