Feature/dune python add cache lock

Moved source branch from !122 (closed)

@nils.dreier I gave you developer rights and moved your branch to dune--python. I hope that is okay that seemed easier then me trying to add something to your branch....

added 1 commit

• 185a111a - fixed a locking issue with two processes writting the same source file to the cache

Compare with previous version

mentioned in merge request !122 (closed)

added 1 commit

• 3c7140ca - fix an issue with double entries in CMakeLists file

Compare with previous version

closed

reopened

added 1 commit

• 635b36ee - added some help strings to the function in the algorithm module especially to

Compare with previous version

@nils.dreier any more comments/suggestion/doubts?

The last commit (635b36ee) seems not to be related to this topic. The rest looks fine. Could be merged from my side.

merged

mentioned in commit b10c4162

mentioned in commit core/dune-common@ad7dc864