Fatkat

Moved FatTire to generate NetKAT code. Relies on changes in the https://github.com/frenetic-lang/frenetic/tree/fatkat branch.