Changing proxy settings will sync and re-connect websocket, fixes #77, #78