add an option to autfilt to match automata that recognize a given word

This requires a syntax for specifying lasso-shaped words.

This was suggested by Matthias Heizmann.