cmake: Introduce a INSTALL_TOOLS build option Oct 25