Reuse types from ocaml-openflow in app API

This pull request replaces the `packet_out` type in `NetKAT_Types` with a roughly equivalent type defined in ocaml-openflow: `pktOut`. It also condenses two components of the `PacketIn` type by reusing the `payload` type form ocaml-openflow.