WebSockets presets update

Removed MemorizingTrustManager option from preferences since it is
currently unused in the socket connection code.
Changed default port for connection to 3000 to match SVMP Overseer
default port.