NetCore is dead. Long live NetKAT.
Merge pull request #133 from frenetic-lang/kill-netcore

NetCore is dead. Long live NetKAT.