new package: safa (Symbolic Algorithms for Finite Automata)