qt: arbitrarty instances for unsigned integer types
qt: expose parse and marshal for OF0x01.Match
qt: add roundtrip test for OF0x01.Match
qt: fix typo in OF0x01.PseudoPort comment

Just missing a 'C'.
qt: expose parse and make for OF0x01.PseudoPort
qt: add roundtrip test for OF0x01.PseudoPort

Somebody else should look at this commit. Because of they way that the
parse and marshal (i.e., make) functions work for PseudoPort, the code
manually tracks parameter of the Controller constructor in the
serialization datatype. This test therefore does not check whether or
not the artibrary instance generates valid data for that parameter.
qt: lightly document OpenFlow0x01_Arbitrary sig
qt: OF0x01_ArbitraryCstruct and associated functors

Use OpenFlow0x01_ArbitraryCstruct when a data structure can be
serialized to a Cstruct.t and exposes a to_string function on its type.
Use the functor OpenFlow0x01_Unsize to transform the module into one of
type OpenFlow0x01_Arbitrary.
qt: implement OF0x01.Match as a OF0x01_ArbitraryCstruct
qt: give some arbitrary instances meaningful names

These are reusable arbitrary instances. They should likely live
somewhere outside of the Match QuickCheck module, but for now they're
fine there.
qt: fix PseudoPort.arbitrary implementation

The controller parameter should be an unsigned int. It was not
previously exercised by the PseudoPort roundtrip test, but will be
exercised in subsequent commits.
qt: expose functions in OF0x01.Action

These are all the functions that are necessary to creat an
OpenFlow0x01_ArbitraryCstruct module.
qt: add roundtrip tests OF0x01.Action
qt: expose functions in OF0x01.FlowMod.Command

to_int and of_info for marshal and parse, respectively.
qt: add roundtrip test for OF0x01.FlowMod.Command
qt: expose functions in OF0x01.FlowMod.Timeout

to_int and of_info for marshal and parse, respectively.
qt: add roudtrip test for OF0x01.FlowMod.Timeout
qt: use PseudoPort.arbitrary_nc to ignore controller

Certain functions on in the OpenFlow0x01 API expect a pseudoPort but
do not handle the Controller variant properly. At some point the code
should discriminate on the different input domains at the type level,
but until then use this function to test.

With this commit the Enqueue case of the Action roundtrip test now
works, which was introduced but commented out in fa51a3f29.

Related to #5.
qt: expose functions in OF0x01.FlowMod

These are all the functions that are necessary to creat an
OpenFlow0x01_ArbitraryCstruct module.
qt: fix bug in FlowMod out_port parsing

The out_port was always assumed to be either absent or to be
representing a physical port. The PseudoPort.make functions was simply
not being called.