I've used the xtermjs before for similar applications, though a long time ago. (I liked it back then at least) I'm not primairly doing front-end stuff, but I can probably try put some effort in there.