core_map: Use Core_map in Semantics
Merge pull request #255 from frenetic-lang/core_map

Use Core_map in Semantics
Fix bad merge: remove lwt controller

These files were reintroduced by 442be659.
Really remove PolicyGenerator for now
(cherry picked from commit fbfcc09b9dfa1ba9a1d91bbff4d21b5889a132c5)

Conflicts:
	_tags
	setup.ml
Merge pull request #258 from frenetic-lang/rm-pg

Remove PolicyGenerator for now
pp-mac: proper formatting of MAC addresses.
pp-mac: more pretty printing for dlTyp, newProto and IPs.
hex: fix bug in hex parsing

The %Lu scanf pattern does account for the leading "0x". Introduced in
92179c14.

Closes #263.

Related to #261.
hex: fix bug in hex parsing

The %Lu scanf pattern does account for the leading "0x". Introduced in
92179c14.

Closes #263.

Related to #261.
Merge pull request #264 from frenetic-lang/hex

fix bug in hex parsing
Merge pull request #261 from frenetic-lang/pp-mac

pp-mac: proper formatting of MAC addresses.
proto: print out protocol numbers as hex

Don't use the Packet pretty printers, as they will turn some protocol
numbers into the names of the protocols.
Merge pull request #265 from frenetic-lang/proto

print out protocol numbers as hex
Checkpoint of LocalCompiler rewrite
Small refactor to reorder modules
Possibly complete
Truthier
Remove debugging
Code review with Spiros and Arjun
filled in to_netkat. tests fail.