Investigate use of docker caching in github actions

[wasadigi]

See:

• https://docs.docker.com/build/ci/github-actions/cache/#cache-mounts
• https://github.com/reproducible-containers/buildkit-cache-dance