This module was reimplemented in three different places.

These are now using OpenFlow_Header.

Eventually, remove all aliases to this type.

Added wrappers for 1.0, 1.3, and uninterpreted chunks. This allows the platform
to be instantiated with any of these protocols.

vim swap files

Do not bother creating any other .mli files. Instead, expose all new modules as
submodules of Async_OpenFlow. This keeps the module namespace tidy.

This signature is also useful when writing clients

… into final-async

- This is a lower level interface than Async_OpenFlow.Platform.
- Serialization code has been factored out of Platform, since it
  is shared by both.

See the comment at the end of test/Test.ml which explains the change.  Notice
that the test command in _oasis has also been updated.  I've changed
OpenFlow_Header to actully use core to demonstrate that make test doesn't hang.

@seliopou

Two simplifications:

- Message.marshal returns () instead of the number of bytes written.
  The length of the header specifies exactly how many bytes to write.
  In fact, we were ignoring the returned int everywhere.

- Message.marshal now only marshals the body. The generic portion of
  the serializer marshals the header. This makes it possible to convert
  between chunks and parsed messages. It is also more consistent, since
  deserialization does not parse the header.

I had not done --enable-async

- If the socket closes, we also close the pipes carrying parsed messages
- Evaluate getpeername eagerly. It will throw an exception if applied to
  a closed socket. (!!!)
- Ignore errors signalled by a handler (default behavior is to stop listening).
  In the future, we might want to print an error instead, but stop-listening is
  sort of ridiculous.

The Trans module contains functions for composing and running platform
programs. Currently this module only exports the compose operation for
combining stages, which Kleisli composition for Deferred options, though
it also acts to pass along the first argument of the stage, in a reader
monad-esque way.

Directly or indirectly, now all xid types in every module is a synonym
for OpenFlow_Header.xid.

OF0x01 and OF0x04 share many common message types. Define some of these,
in particular the ones that are necessary for a minimal handshake.

This is equivalent to the local function in a reader monad. Transform
the read value for some sub-computation.

marshal' is just like marshal except it performs the necessary
allocation. Its return type is also the Chunk type, which is at times
convenient.

The previous naming was confusing given that a switch identifier means
something within the context of OpenFlow. Rename Switch_id to Client_id,
things that identify client connections to the server.

…openflow into final-async

No need to split up init and finish into two different stages.

It is now a constant instead of a function.

--enable-tests *always* builds the test suite and openflow.quickcheck,
which the tests require

--enable-quickcheck builds openflow.quickcheck, but not the test suite

opam-doc, chaps

Based on the Cstruct Makefile:

https://github.com/avsm/ocaml-cstruct/blob/master/Makefile

Key features:

- "make clean" deletes setup.data, which is generated by configure
- make builds the async submodule if async is installed (and similarly for
  lwt and quickcheck)

Frenetic is enabling it just fine

I had a variable-shadowing bug in earlier code.

That info was already being printed at the DEBUG level. Move logging
down the next state, in which a message is received from a client with
an unknown state. (An error that should never happen.)

All modules are exposed through the Async_OpenFlow.mli file.

This is already being exported by Asyc_Openflow, and no longer has an
.mli file anyways.