Trivial fix for Async 111.13.00
Merge pull request #124 from frenetic-lang/async_111.13.00_fix

Trivial fix for Async 111.13.00
lattice: move pattern to submodule, define lattice ops
lattice: use new ocaml-packet.quickcheck API
lattice: add arbitrary instance for Pattern.t
lattice: quickcheck tests for Pattern.t lattice operations
lattice: add Pattern.disjoint
lattice: add Pattern.eq for semantic equality

Currently it's the same as structural equality. Hopefully this will be
preserved.
Merge pull request #126 from frenetic-lang/lattice

Implement lattice operations for patterns
v0.4.0 release
Merge branch 'master' into ip-mask

* Regenerate Oasis

* Detangle conflicts

* Add lattice structure for IP masks

Conflicts:
	_oasis
	lib/META
	lib/SDN_OpenFlow0x01.ml
	lib/SDN_OpenFlow0x04.ml
	lib/SDN_Types.ml
	lib/SDN_Types.mli
	setup.ml