doc: put release number in index.html.

* build-aux/config.ld.in (project): Add release number.

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