patch: debuginfod sqlite3 metrics

[Frank Ch. Eigler]

Hi -

> Looks good. Just one question about the RAII timing metrics.
> It is using gettimeofday which I believe might jump around since it
> tracks "human time". Might it be better to use clock_gettime
> (CLOCK_MONOTONIC) instead? Note that uses nanoseconds instead of
> microseconds, so needs adjusting a factor 1000.

Sure, can switch the new and old code over to that.

- FChE