Actually work with rspec 3.0.3

This changes the reopening of ProgressFormatter so that it doesn't give
an error; example_passed was not available as super. (and other changes)

The definition of the generative test method is also changed, so that it
works. This lost some coloring on the name maybe.