Python string scanning and lexing package