Fix redeployment.

When the plugin stops the WebSocket server is stopped.
Makes use of the Core's new plugin shutdown() hook.