Improve file permissions handling/documentation #2
Description
Since we share files with the host, the file permissions may get mangled. In these cases we should provide a command in the Makefile in order to temporarily take ownership of files. We should also add documentation on how one can handle mange pitfalls w.r.t. file permissions and Docker.