a web-based terminal emulator for ssh or other command line tools
