Merge branch 'feature/dune-python-add_cache_lock' into 'master'

ref:staging/dune-python Moved source branch from [!122]

See merge request [!131]

  [!122]: gitlab.dune-project.org/NoneNone/merge_requests/122
  [!131]: gitlab.dune-project.org/staging/dune-python/merge_requests/131