Add support for IP masks

Adds IP masks to OpenFlow patterns. This request should only be merged with an accompanying pull request for Frenetic.
Should be `ip_subseteq x y && ip_subseteq y x` rather than `ip_subseteq x y || ip_subseteq y x`, correct?