An in-browser JavaScript REPL which supports single-stepping