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.
Change the logout test.

Travis failed this test, probably because the dialog appeared too soon.
Modified warning message to mention all users.
Merge pull request #534 from girder/restart-on-plugin-changes

Restart the server when plugins change.