Add time information on vector snippets
Merge pull request #399 from emmanuel-keller/1.5

Add time information on vector snippets