HomeSoftware Heritage

webgraph.py: improve logging by adding explicit start/end timings