Use configure time constants

* Use custom Setup.hs to get make build-time constants available for debug messages.