doc: document Async_NetKAT_Controller
Merge pull request #355 from frenetic-lang/doc

doc: document Async_NetKAT_Controller