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