get rid of metrics tech report page now that research tech report page exists

There are two Tor pages listing tech reports. I fear one of them is more recent than the other. We should get rid of the old one so people don't get confused.