possibility to autorestart the server if the server crashes or gets shutdown not via the website (closes #32)