Make Makefile tool installation optional#8406

janezpodhostnik wants to merge 3 commits intomasteronflow/flow-go:masterfrom

janez/make-tool-install-optionalonflow/flow-go:janez/make-tool-install-optionalCopy head branch name to clipboard