Paper: Validated numerics in Python with ValidiP (David Sanders)

This is David Sanders's contribution to the SciPy 2014 proceedings: Validated numerics in Python with `ValidiPy`

Now ready for review.
Was the attractor within the Lorenz '67 system not noticed before then?