NetKAT controller operational on trivial example
oasis setup (./configure)