Prepare for merging in old code

* Update cabal file
* Current main is in TempMain
* HipSpec.Prelude is renamed to HipSpec
Update Params, Provers and ThmLib