tools: rename repl-* rules for easier editing