Library frenetic.netkat

The entry point for this library is module Frenetic_netkat.