Git: install man pages (from github.com/gitster/git-manpages or a local bundle)