Merge branch 'pr/post-release-fix-cabal-file' into 'master'
curry-frontend.cabal: Post-release version fix in .cabal file. Unfortunately, there were more locations in curry-frontend.cabal that needed to be bump to 0.4.2 prior to tagging this repo with v0.4.2. Before 0.4.3 release similar changes need to be applied to curry-frontend.cabal. (Basically a sed -e 's/== 0.4.2/== 0.4.3/g' -i curry-frontend.cabal). See merge request !3