tcp_respond is another function to build a tcp control packet
quickly. With ECN++ and AccECN, both the IP ECN header, and
the TCP ECN flags are supposed to reflect the correct state.
While at it, also ensure that on receiving multiple
ECN <SYN,ACK>s, the responses triggered reflect the latest
inbound state (IP, TCP ECN) - no longer assume the tcpcb
ECN flags start off "clean", but set them metriciously.
adjust function definition