Updated cabal file, github is the main repository