Use /usr/bin/hets as path.
Merge branch 'master' into ontohub.org
Use hets wrapper script, because of environment variables, for example.
fixed logic-creation problems to make the seeds pass
Children of distributed ontologies having the same state as their parents now. Fixes #95
Merge branch 'master' of github.com:ontohub/ontohub
Use --full-signatures on hets call.
Merge branch 'master' into ontohub.org
Merge branch 'ontohub.org' of github.com:ontohub/ontohub into ontohub.org