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