Issue #12: make regex2dfa a real subdir, instead of a submodule