An HTML5/JavaScript client for NitroHack and variants (NetHack4, DynaHack)