.txt suffix for README
Fix parsing of websocket commands
Control server PATH envvar through websocket

Quick hack to get around the limitation that a session's environment
does not affect the running process
Move websocket event code to websocket.go
Unify signature of websocket event handlers
Dictionary for websocket event handlers