qc: add quickcheck as a dependency
qc: expose 0x01.Wildcards parse and marshal
qc: Implement 0x01.Wildcards roundtrip tests

    parse . marshal == id
qc: note OF0x01.Wildcards fields that are unsigned
qc: Move OF0x01.Wildcards arbitrary to module

As per the discussion on #3, arbitrary instances will reside in the
module where the datatype it's testing resides. Because of this, the
quickcheck library is now a dependency for the openflow library, as well
as the test suite.
qc: remove unused module alias
Revert "qc: remove unused module alias"

This reverts commit db9ae568f9cf4fee3f0037c3cd9c6a95a43ccb4d.
Revert "qc: Move OF0x01.Wildcards arbitrary to module"

This reverts commit 53f84d19417700bed49e62e0b3eb707e96d3e3b2.
Merge pull request #4 from arjunguha/master

Removed functions auto-generated by Coq.
qc: move quickcheck code to sublibrary

Use the OpenFlow0x01_Arbitrary signature to build all the components of
a roundtrip test. Then it will be straightforward to run a test using
the values defined in the module that conforms to that signature:

    module M : OpenFlow0x01_Arbitrary

    quickCheck M.arbitrary M.to_string M.parse M.marshal
Merge pull request #3 from frenetic-lang/quickcheck

LGTM
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