Allow to remotely shut down the server

I use this mainly in debug, to easily take source changes into account (by automatically restarting the server).