Rename from gmrh to polygamy.

I blame @jsok.
Merge branch 'polygamy'