Terminado is a Tornado websocket backend for the term.js Javascript
terminal emulator library.
