Add IP mask to patterns.
Checkpoint
Expose prtty printing for par
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
Remove bogus (?) test
Fix bugs in IP operations and remove disjoint
Remove disjoint
Fix typo in Pattern.eq
Don't pick ports larger than OFPP_MAX
ip-mask: reorg into Pattern.Ip submodule, fix meet

Move ip mask-related operations to a submodule of Pattern to keep the
namespaces organized. In addition, reimplement the operations in terms
of the shift operations, which was redundant with the compatible
operation.

There was also an issue with the meet operation not returning the most
exact result. Consider these two masks:

  11000000.0.0.0/4
  11010000.0.0.0/4

Their meet is 11000000.0.0.0/2, but the previous implementation would
have returned 0.0.0.0/0.
ip-mask: Expose Pattern.Ip format and string_of functions
ip-mask: quickcheck tests for ip pattern
ip-mask: strengthen lattice quickcheck properties

Some of the tests that were ifs should have actually been iffs.
ip-mask: rename meet to join

Join goes up (least upper bound) and meet goes down (greatest lower
bound).
ip-mask: fix bug in Pattern.eq

Was more or less implemented as less_eq.
Merge pull request #127 from frenetic-lang/ip-mask

Add support for IP masks