Missing support for Dynamic Address Reconfiguration

Packet formats as described in https://tools.ietf.org/html/rfc5061.
Socket API described in  https://tools.ietf.org/html/rfc6458.
This also requires https://github.com/nplab/packetdrill/issues/20
