NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks