Simplify check for convergence in backprop.py

Instead of relying on the generator machinery provided by the functors package, the convergence threshold check can be expressed easily using the core sum function.

In my opinion, this makes the code easier to read, because it avoids a lambda abstraction.