Fix: Reset snd_nxt when falling back to infinite

snd_nxt must be reset too, to have correct accounting afterwards.

Signed-off-by: Christoph Paasch <christoph.paasch@uclouvain.be>
Fix: Update copied_seq when purging rcv-queue upon csum-failure

Otherwise, copied_seq is out of sync with the rest. It is safer, to
update it correctly.

Signed-off-by: Christoph Paasch <christoph.paasch@uclouvain.be>
Fix: mptcp_skb_split_tail allocate a tcp-header

We need a tcp-header because we are accessing the fin-flag.

Signed-off-by: Christoph Paasch <christoph.paasch@uclouvain.be>
Fix: When falling back to infinite, don't use the subseq from the DSS

The middlebox messed up with our mapping. We can only rely on the
mapping in the tcp-header.

Signed-off-by: Christoph Paasch <christoph.paasch@uclouvain.be>
Final fix to infinite mapping

Signed-off-by: Christoph Paasch <christoph.paasch@uclouvain.be>
Build-Fix

Signed-off-by: Christoph Paasch <christoph.paasch@uclouvain.be>
Add version-info

Signed-off-by: Christoph Paasch <christoph.paasch@uclouvain.be>