Add tools to build the git documentation ourselves

Proof of concept PR showing that we can build the git documentation ourselves :)

This patch series requires sschuberth/mingwGitDevEnv#1 to be merged.
a0c3a24 is polished.