Add an initial implementation for DCCP protocol model

For now, it is just a copy of the UDP structures with symbols and variables renamed.