Add import Prelude.Functor in Prelude/Vect.idr

This is imported transitively through Prelude.List, but really should be
explicit.
Merge pull request #424 from Melvar/correct-vect-instances

Add import Prelude.Functor in Prelude/Vect.idr