minor bugfixes for zipperposition
Revert "minor bugfixes for zipperposition", will do a separate package

This reverts commit f8b7e1c562aeb33a3d71474a14036e58528f67b5.
zipperposition-0.1.1 with some bugfixes
Merge pull request #341 from c-cube/master

Bugfixes for zipperposition