Merge branch 'develop' of github.com:ontohub/ontohub into develop
fix encoding problem

UTF-8 is assumed. If a file is displayed, unknown characters are replaced by a UTF-8 question mark
Merge branch 'correcting_files_view_utf8_error' into develop
Merge branch 'develop' into develop.ontohub.org