update synopsis in cabal file