Now the documentation files are included in the Hackage pkg.
Removed the no longer relevant README-for-building-tests.

This file is no longer relevant because the underlying
problem --- the version dependencies of
test-framework-quickcheck2 --- have finally been fixed.