Cache Manager now listens to 'caching' option
Cache Manager now listens to 'caching' option

The 'caching' option in the CacheFrontend, to be exact.
When caching is turned off, Cache Manager's purge() won't do anything.
This also means no jobs will be added to the cluster.

grrr-amsterdam/garp3,grrr-amsterdam/garp3,grrr-amsterdam/garp3,grrr-amsterdam/garp3