Manpages of seqan-apps in Debian stretch