Control/Protocol/IP.agda
Merge branch 'master' of github.com:crypto-agda/protocols
ClientServer: some renamings
Multiplicative: adapt to the termination checker who became less smart
Sequence: combining and splitting >>= processes