Improvements in the GUI and a new cabal file