Initial implementation of re->dfa.

Using Brzozowski's algebraic construction.
Intermediate progress on RE simplification.