Add redirect to repl.html

If the repl is loaded from google code we redirect to github.