Use cached output from hets, if possible.

solves #629
Cache the Hets configuration.
Cosmetics.
Merge branch '547-public_writable_repositories' into staging
Merge branch 'staging' into staging.ontohub.org