@hackage uhc-light1.1.7.2

Part of UHC packaged as cabal/hackage installable library

A light variant of UHC including only an API and an executable for compiling to Core representation. This version is just to test the infrastructure. Later versions will provide a fleshing out of the API etc..