An Invariance Principle for Additive Functionals of Semi-Markov Processes