Merge branch 'devel' into feature/irods
Merge branch 'feature/irods' of github.com:saga-project/saga-python into feature/irods