Port is integer
Keep own copy of term.js, as it can be blocked or changed
Ping/pong with JS client

Ping the JS client over websocket, as some proxies can close websocket
connections when they are inactive.
Handle websocket's onerror

Not sure now why that was needed
Quick implementation of 'remember input data' in connection form
Merge branch 'master' of https://github.com/aluzzardi/wssh