doc: new specl.shell documentation.

Now that the specl.shell API is stable, document it.
* doc/specl.md (Writing Program Specifications): New chapter
documenting specl.shell.
* NEWS: Update.

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