Merge branch 'dev' into f-filesystem

.gitlab-ci.yml

.gitlab/merge_request_templates/Default.md

CHANGELOG.md

README_SETUP.md

config.defaults

configure

makefile

patches/applyPatches.sh

patches/patch20151022-0/patch.sh

patches/patch20200420-2.1.2/patch.sh

patches/patch20200615-3.0.0rc1/move_names.sql

patches/patch20200615-3.0.0rc1/patch.sh

procedures/deleteEntity.sql

procedures/deleteEntityProperties.sql

procedures/deleteIsaCache.sql

procedures/insertEntity.sql

procedures/insertIsaCache.sql

procedures/query/applyPOV.sql

procedures/query/initEntity.sql

procedures/query/initPOV.sql