update documentation to use the latest speclj version

Speclj 3.1.0 from Clojars has more extensive docstrings for some of the macros, especially for `should-have-invoked`. Is now a good time to update the version used to build specljweb -- plus bump the versions in the installation guide?