[FIXED-#731] Fixes seed type issue for seed sets.
Merge branch 'develop' of github.com:seqan/seqan into release/fix/731
[INTERNAL] Minor cosmetic change in demo.
Merge pull request #747 from rrahn/release/fix/731

[FIXES-#731] Fixes seed type issue in seed sets.