Added README for building the Haskell solver