Import Michael's regex library as a Git submodule.