Add redis initializer
Change ws token prefix
Publish message to redis when a file is opened by user
Fix bugs in websocket handling of initial request causing websocket server to crash when same user tried to reconnect