basic support from defining Haskell to Logic translation

This needs to use `Paths_liquidhaskell.getDataFileName` to find the locally installed copy. Otherwise it will crash horribly when users run LH.

See https://github.com/ucsd-progsys/liquidhaskell/blob/master/src/Language/Haskell/Liquid/Misc.hs#L59-L61 for examples :)