Manuel Velazquez was a 20th-century anti-boxing activist who kept meticulous files on boxing-related deaths.