Picard demo: Added van der Pol version that can be run using Edalat &
Pattinson's piecewise constant arithmetic.