A camlp4 extension to write NetKAT terms.

Also included is the NetKAT.Std module, which makes simple applications less
noisy.

Pair-coded with @jnfoster with significant advice from @avsm