Rename web-repl build target