Merge pull request #594 from weese/feature/stream-fixes

[FIX] fixed samcat/bamsort
Merge pull request #595 from weese/feature/stream-fixes

[FIX] fixed #518
[FIX] fixed #513
Merge branch 'develop' of github.com:seqan/seqan into feature/stream-fixes