gh-pages: update to Specl 9.

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

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