Use System.import in repl.html

Fixes #708