On the Γ-convergence of discrete dynamics and variational integrators