[tor-commits] [doctor/master] Add library that is now required by metrics-lib.