Checkout files in a shared directory.

Otherwise they get lost with each deployment and have to be reparsed with Hets.
Merge pull request #733 from ontohub/shared_commits

Checkout files in a shared directory.