NetCore is dead. Long live NetKAT.

@jnfoster this removes the old NetCore compiler and runtime system

@mpmilano I still have NetCore_Verify_* in here. It actually isn't NetCore-specific, but wouldn't build due to a dependency on NetCore_Types. (ocaml-topology has also evolved significantly.) When you get a chance, can you upgrade your code?