webgraph.py: improve logging by adding explicit start/end timings
while at it, switch string formatting to f-strings