ip4.options was not supported earlier, so we used to import into a new hexdump protocol. Now that IPv4 options field is supported, use that instead
Fixes #219
Fixes issue 144