[MPTCP] [RFC final 01/14] tcp: Write options after the header has been fully done