Add some extensions to thrift to support things needed for a wireshark plugin