expl. cast exit code to int
Merge branch 'devel' of github.com-oleweidner:saga-project/saga-python into devel