We now use raw sockets as default. The choice, for gnu-linux arch,
can be done by defining PP_NET_UDP or PP_NET_IEEE_802_3.
New constant PP_ETHERTYPE=0x88f7 is defined in ieee1588_types.h,
as defined in IEEE specification.