Version 0.2 implements actual minibatching for great speedup on PyTorch 0.3.

This version reproduces the results of 'Provable defenses against adversarial examples via the convex outer adversarial polytope', by Eric Wong and J. Zico Kolter.