Analytic torsion and torsion in the cohomology of arithmetic groups