Lipschitz Bounds and Provably Robust Training by Laplacian Smoothing