Developed it ourselves, well the JavaScript terminal is shellinabox (http://code.google.com/p/shellinabox/) but it's connecting via websockets to a Tornado server that does all the interesting stuff.