Dehop now returns i,p,t,e separated. Fixed bug in product construction
candidate for end-to-end example running
playing with strip_vlan
test netkat prog
end-to-end dehop seems to be generating (almost) correct flowtables
added more nuance vlan stripping
minor refactor
merged in choice branch
Added string_of_pred, exposed Types/Pretty/Controller in oasis
Merge pull request #129 from frenetic-lang/fatkat

Added string_of_pred, exposed Types/Pretty/Controller in oasis
dehop: eliminate warning about non-exhaustive case
dehop: Move dehop functions out of Controller, fix a bug

Put the dehop-specific function definitions in the dehop module rather
than the controller. In the process, fix a bug where the code was
checking that the switch header was equal to a port. Use `InPort`
instead.

Conflicts:
	lib/Controller.ml
dehop: dehop_policy returns a policy that can run on any switch
Merge branch 'dehop'

Conflicts:
	_oasis
	lib/Controller.mli
	lib/netcore.mllib
	setup.ml