[master] Merge branch 'trac3743'

    Adds bad-packet logger to DHCPv4 server

diff --cc doc/guide/logging.xml
Simple merge

diff --cc src/bin/dhcp4/dhcp4_srv.cc
Simple merge

diff --cc src/lib/dhcp/pkt.h
index 1bacff6cb2db3dda2af1dad751271f62043e1014,5f0c5afebf628015ea7e0a652ea9a55d000b4d5b..5f0c5afebf628015ea7e0a652ea9a55d000b4d5b
mode 100644,100755..100644
--- 1/src/lib/dhcp/pkt.h
--- 2/src/lib/dhcp/pkt.h
+++ b/src/lib/dhcp/pkt.h

diff --cc src/lib/dhcp/pkt4.cc
Simple merge

diff --cc src/lib/dhcp/pkt4.h
index d93a56e695e63db08fae55cd1060e18ece25960c,71b729375179d75fe7dda31dad4ed378cf87351d..71b729375179d75fe7dda31dad4ed378cf87351d
mode 100644,100755..100644
--- 1/src/lib/dhcp/pkt4.h
--- 2/src/lib/dhcp/pkt4.h
+++ b/src/lib/dhcp/pkt4.h