[FEATURE] merge seqan/develop into feature/stream/develop