Clarify Synopsis with some vertical whitespace
Point at GitHub
Describe macros that write tests

One of my favorite things about testing in Prolog is the ability to
write macros which generate test cases.  It's super practical for
testing different modes of a predicate.
Claim semantic versioning compliance
Bump version for release