Local mollification of Riemannian metrics using Ricci flow, and Ricci limit spaces