doc: update documentation for Async_NetKAT
Merge pull request #356 from frenetic-lang/doc

doc: update documentation for Async_NetKAT