Adding a version of erfRiemann used in the Tutorial, Part 1.  This version is idiomatic Ada with no SPARK.