Fix idris.cabal and base.ipkg to include Data.Vect.*