Updated README to reflect name change to ProTest

Updated name to ProTest instead of guile-quickcheck since this is not a 1:1 port of quickcheck's features. Added comment about unit tests, though granted none of the tests are written yet, and some modification of the code on the develop branch still needs to happen.
Updated to protest folder, removed old instances of quickcheck / qc
Minor changes to format strings. Also, removed such-that-maybe and added conjoin and disjoin combinators. Also added a base module to load if you only want basic functionality.