Update cabal file entries and add a library entry