repl: add HTML5 doctype tag

For Standards mode compliance. Before, IE8 (and probably others) were
entering "quirks mode", which isn't a big deal in itself, but being
in standards mode seems like a better idea to me.