Galois representations attached to torsion in the cohomology of automorphic vector bundles, after Boxer