index: document specl.shell.

* index.md (Writing Program Specifications): New chapter
documenting specl.shell.

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