print out protocol numbers as hex

Don't use the Packet pretty printers, as they will turn some protocol numbers into the names of the protocols.