Plugins can now push messages via the websocket as well
Track modification time of configuration file and reload it if it was externally modified before changing settings
Fixed wrong default types for plugin hooks etc