doc: update documentation for Async_NetKAT