Print switch number.
Merge branch 'print-sw' into start-from-vlan1
Fix a bug in bin_local noticed by Marco
Make the LocalCompiler more local

- thread switch argument through compilation

- interpret Test on Switch at compile time

- this means that a flow table is only for one switch

Slower, but simpler. And correct-ier.

- Also fixed up front-end and unit test code in light of this change.
Add a working example for the local compiler (abfattree-tables-failover-local.kat). Run it with mininet config abfattree-testlocal.mn.
Add an example of full policy in local format embedded in the (p; t)* form to test dehopify.