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.
I've just submitted a changed message.