A python finite state automaton library