Some margin for the action buttons of repositories and ontologies.
Merge branch 'staging' of github.com:ontohub/ontohub into staging
Raised minimal necessary Hets version.
Merge branch 'staging' into staging.ontohub.org