Added a SPARK2005/Ada pre-processor PP_FPops that converts ordinary
FP operators to functions calls with explicit precision.
Added a version of the erfRiemann SPARK2005 example verified using
the pre-processor and the current version of polypaver.
In erfRiemann example, introduced a named constant to easily regulate
the tightness of the SPARK specification.