The only reference that I know which does all that is
the thesis of Xavier Fernique. The paper that came out of it is:
<a href="http://www.numdam.org/item?id=AIF_1967__17_1_1_0">"Processus linéaires, processus généralisés"</a>. Annales de l'institut Fourier, 17 no. 1 (1967), p. 1-92.

However, it is in French and uses a lot of topological vector space machinery.
Otherwise for $S'$ one can do that by hand. Use the isomorphism of $S$ with the space of 
sequences
$$
\mathcal{s}=\{(x_n)_{n\ge 0}\in\mathbb{R}^{\mathbb{N}}\ |\ \forall k, ||x||_k<\infty\}
$$
where
$$
||x||=\sup_{n\ge 0} \{(n+1)^k|x_n| \}\ .
$$
The duality pairing between $y\in\mathcal{s}'$ and $x\in\mathcal{s}$ is given by
$$
y(x)=\sum_{n\ge 0} y_n x_n\ .
$$
Then follow similar steps for the proof of Levy's Convergence Theorem in finite dimension.
The difficult step is in showing that if the characteristic functions of a sequence of probability measures $\mu_m$ in $\mathcal{s}'$ converge pointwise to a function which is continuous at the origin, then the sequence is tight.
For this you can follow the discussion of Mitoma's Theorem (Thm 6.13) in the Saint Flour lectures notes by J. B. Walsh <a href="http://link.springer.com/chapter/10.1007/BFb0074920">"An Introduction to Stochastic Partial Differential Equations"</a> in Lect. Notes in Math. no. 1180.
I suppose one can do the same for $D'$ using the Valdivia-Vogt isomorphism of $D$ with $\oplus_{\mathbb{N}}\mathcal{s}$ but I didn't try.