New Codec for large messages.

This new codec (IntHeaderCodec) allows messages of up to 2^31-5 bytes.
The downside is that such large messages cannot be sent using UDP
message channels. I.e., this is a TCP-only codec.