nix-exec: make git less heavyweight
git: do not do install-doc when !withManual
Merge branch 'nix-exec-git' of git://github.com/proger/nixpkgs