fix printing of unknown TCP options

TCP options decoder would mix decimal and hexadecimal digits when
printing an unknown option. For example, the pre-TFO revision would
print TFO as follows:
[Unknown Option 254f989090909090000]

Refine output format to print the same data as follows:
[unknown-254 0xf989090909090000]