Global compiler

I did some final clean up and I think the global compiler is ready to be merged into master. I moved the virtual compiler into its own branch.
This is a misleading name, as it only returns switches that appear in link terms. As a consequence when you try to compile local policies with the global compiler it doesn't print out any flow tables.

This should return all the switches that appear in the policy.