Lightweight Lipschitz Margin Training for Certified Defense against Adversarial Examples