[tor-commits] [metrics-web/master] Clean up build.xml a bit.