gh-pages: update to Specl 13.

* _cenfig.yml (release-no): Bump to 13.
* index.md: Update from master.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>