added metrics-lib release 1.4.0 ([diff](https://trac.torproject.org/projects/tor/wiki/org/teams/MetricsTeam?action=diff&version=35)) URL: https://trac.torproject.org/projects/tor/wiki/org/teams/MetricsTeam?version=35