Provably Robust Detection of Out-of-distribution Data (almost) for free