Use separate caches for sphinx and doxygen jobs

Steffen Müthingrequested to merge
use-dedicated-caches into master

This should fix the problem of git worktree failing when reusing the cache from a different job.

Fixes #69 (closed), #70 (closed).

Merge request reports