Add tools to build the git documentation ourselves

This patch series requires sschuberth/mingwGitDevEnv#11 to be merged.