An interactive MIPS interpreter in HTML5/JavaScript