introducing own mirror icon
Merge branch '573-mark_mirrored_repositories' into develop
Merge branch 'develop' into develop.ontohub.org