Restart the server when plugins change.

When you enable or disable a plugin, offer to restart the server.  Added an endpoint to restart the girder server.

I kept forgetting to restart girder when fooling with plugins, so I thought it was time to add this.

This addresses issue #452.
@cpatrick Do you like this message better?