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.
Very long sentence.  Also maybe start off directly with "Interval arithemetic is one solution to this difficulty..." or something similar, rather than having a build-up.