Added /restart to reboot the server. Will be called by github when a new commit is pushed and thus update the server