Vector generator

It is possible to generate Vectors of a given size with elements of a
given type.
Removed completed TODO
A more aggressive shrink policy for Vectors

A little bit more :-)
Fixed VectorTest class name

Travis CI spotted me!
Added Generator:contains/1
More aggressive shrink strategy for Vector
Merge pull request #1 from giorgiosironi/vector_generator

Vector generator