Frenetic API

This pull request introduces an API for writing and composing reactive controller applications. The API can be found in `async/Async_NetKAT.mli`. _At least_ until the next release, this will be subject to change.

Currently, `PacketIn` events will not be properly associated with their pipes.

Depends on #252.