Delete python_lexer.py~