Give parent projects better control over cmake install#334

david-pikas wants to merge 2 commits intoemil-e:masteremil-e/rapidcheck:masterfrom

david-pikas:cmake-install-optionsdavid-pikas/rapidcheck:cmake-install-optionsCopy head branch name to clipboard