A Tool for Neural Network Global Robustness Certification and Training