snapshot of dehopification
Merge pull request #115 from nimishgupta/master

NetKAT parser changes
snapshot. Working optimizer
moved to new intermediate dehopified representation
moved to new intermediate dehopified representation
stupid typo in dehopification
Basic optimizer seems to be working decently, crashing
optimizer is kicking ass, and I'm kicking my eyelids open
merge
added simple comments to aid reading
working on cross product construction
trivial cleanup and remove verbosity of testing
refactoring: split NetKAT_Compiler into two modules

These two modules are totally independent
moved make_string_of to NetCore_Util

Eventually, when we delete the rest of NetCore, we'll rename the module
to just Util.
Parameterized semantics over the headers
expose bits of Local, move convertors to SDN_Types to RunTime module

The functions that convert to SDN_Types are the only functions that
special-case on the Switch pseudo-header.
oasis setup
signatures on sub-modules help understand the invariants
parameterize the compiler over the type of headers
wrap call to quickcheck in TEST, so that errors are properly counted