refactoring: split NetKAT_Compiler into two modules

These two modules are totally independent