Merge pull request #8091 from leoetlino/traversal-chrono TraversalServer: use C++ <chrono> instead of gettimeofday