Add several utility functions on vectors

- Iterators on three vectors (map3, mapi3, fold_{left,right,lefti,righti}3, iter3 and iteri3)
- Scanning functions (for_all, exists, for_all2, exists2 and mem)
- Reversing of vectors (rev and shared_rev)
- Conversion between vectors and big arrays