[FEATURE] upgrade of seqan to official 1.4.1 release