Merge branch 'hotfix/import_os'
We can't have zipHMM as a dependency in the setup script because it doesn't exist as a package.

I will have to talk with Andreas about this...
Merge branch 'hotfix/zipHMM_dependencies' into develop