Update list of dependencies for metrics-lib that Jenkins uses
The metrics-lib build on Jenkins is broken for several months now:
Looks like we failed to update the list of dependencies there:
We should go through this list and see which packages are missing, and possibly which are obsolete. Ideally, this would happen on a clean VM rather than try-and-error on the Jenkins instance.
And when we're done, I guess we'll ask the admins to update the list.
Not grabbing this list in case somebody else (irl, a volunteer?) wants to do it. Otherwise I'll probably grab it later this week.