gRoMA: a Tool for Measuring the Global Robustness of Deep Neural Networks