websocket.io replaced with ws
port config through cli
indentation fixes
Merge pull request #13 from deepak1556/patch-2

websocket.io replaced with ws, made port configurable with --theseus-port=XXX and process.env.port