feature: replaced old websocket stuff with WebSockets library.
cosmetics.
cosmetics: deleted old code.
Cleanup: deleted websocket.hs.