Provably Adversarially Robust Detection of Out-of-Distribution Data (Almost) for Free