util: Rename NetKAT_Util to Util, make it internal

The util module should not be an exported module.
util: remove functions that exist in Core, add banner
Merge pull request #294 from frenetic-lang/util

Don't export Util module, and clean it up