Merge branch 'develop' into develop.ontohub.org
Merge branch 'develop.ontohub.org' of github.com:ontohub/ontohub into develop.ontohub.org