Optionally skip linking/copying the built-ins#411

dscho wants to merge 3 commits intogitgitgadget:mastergitgitgadget/git:masterfrom

dscho:optionally-skip-dashed-built-insdscho/git:optionally-skip-dashed-built-insCopy head branch name to clipboard