Update Cabal file and CHANGES for version 0.9