Enable mirror option for git clone and push.

c.f. https://help.github.com/articles/duplicating-a-repository

Tested and used here:
https://github.com/larsxschneider/hubsync