[tor-commits] [metrics-base/master] Add ant task to fetch metrics-lib from dist.