Implement versioning for dolfin vectors
Add a test for the hashing features (in py.test format)