Simple fix.
Example abfattree-testpaths2 KAT and Mininet topo.
An example that works with local compiler. Start mininet as: mn --mac --arp --switch=user --controller=remote
Make sure we have one controller instance, otherwise the switches will run without connecting to the controller.
Let's try with a simpler example: 2 hosts, 4 switches.
A working example for the local compiler. Run with ./katnetic run local.
Must add all hosts otherwise the gaps in port numbers are not propagated to the user switch and ta da ba fail and wast 1 hour.
Fix issue with port check ordering

The link-free policy may modify the port, so do the port checking
extracted from the link terms at at the end of the link-free policy.

Closes #148.
Automaton assumes that hosts send/receive VLAN-tagged packets. So be it.
merge. Fix trailing whitespace
Merge pull request #182 from frenetic-lang/katnetic

Katnetic