Add license to repl.py