thyme.cabal: replace lens with our own compatible module
Data.Thyme: improve documentation on lens and vector-space