Added foldr1 method to Vect.idr
Merge pull request #1261 from jeffersoncarpenter/vect-foldr

Added foldr1 method to Vect.idr