update travis and readme with badges
Update travis cabal versions