Add convenience file for restarting server.