Reload the server with its existing startup command line arguments

This should in theory fix #480, but as mentioned in that issue there are more elegant solutions to pursue for rebooting the server than what we currently do.

At least for the time being, I think this should be added as a crutch until a more clever solution is implemented to more cleanly reboot the server.