NetKAT end-to-end
Merge pull request #121 from jnfoster/master

Bug fixes
Merge remote-tracking branch 'frenetic-lang/master' into semantics
Merge branch 'master' into semantics
coded up earlier example that used abstraction layer directly
Merge remote-tracking branch 'frenetic-lang/semantics' into semantics

Conflicts:
	setup.ml