graph-revs-log-for-path: Optimize label name lookup
- .label_name() needs to bisect through a large file
- UTF-8 decoding takes a linear time in the file name size
- comparing strings is slower (also linear time) than comparing integers
This requires swh-graph >= 6.7.0, as it fixed a major soundness bug in label_name_id.
cc @anlambert