Utilities and Docs for WkCMake that dont belong to WkCMake as a submodule