Consider changing name of the repo/project

[palmskog]

The current name (regexp-Brzozowski) is both hard to spell and hard to pronounce for most people in the Coq community. A better name could be more generic, like "regexp-decision" or "regexp-equivalence".