Added support for setting the cache folder to the repo manager builder
Made all repo using tools support the new `--cacherep` option