a lexer for Python