Set version 0.7.1 in cabal files.