only save ontologies when their files have specific extensions. Fix #323
move file extensions of distributed ontologies to a constant
Merge branch 'git' into develop
Merge branch 'develop' into develop.ontohub.org