up/down arrow history for our web REPL

spun off as a jQuery plugin:
https://github.com/ngn/jquery-input-history