fix format-arg macro

"argc" is not defined in the test program.
facilitate version procs

In order to use the default version code and augment it,
there is now a version of optionPrintVersion that returns.

Hex numbers in definition files need not be quoted any more.

* agen5/defLex.c (gather_name): accept hex numbers

* agen5/test/define.test: test it

* autoopts/version.c (optionPrintVersionAndReturn): new

* doc/autogen-texi.txt: augment getopt.tpl doc
Fix up Guile fix up script

Guile both misuses the token "noreturn" in its headers
and rearranged its headers between releases.  It is tricky
to fix up headers in different places and not fix headers
that finally got fixed

* autoopts/mk-tpl-config.sh (find_libguiledir):
  look for libguile.h in a specific order to maximize
  the chances of finding the correct directory.
man page cleanup

Very noticable improvements to generated man pages

Modified files:

* autoopts/bootstrap.dir
* autoopts/mk-tpl-config.sh
* autoopts/tpl/Mdoc.pm
* autoopts/tpl/agman-cmd.tpl
* autoopts/tpl/agmdoc-cmd.tpl
* autoopts/tpl/cmd-doc.tlib
* autoopts/tpl/mdoc2man.pl
* autoopts/tpl/mdoc2man.sh
* autoopts/tpl/mdoc2texi.pl
fix GFDL license

* pkg/gnudir.tpl: no need for 3 withs
build stdnoreturn.h in tear-off lib

Pull in the gnulib stdnoreturn module.

Modified files:

* autoopts/version.c (optionPrintVersionAndReturn): export it
* config/bootstrap.local: stash the relevant makefile hackery
  and _Noreturn.h header data
* config/libopts.def: invoke gl_STDNORETURN_H
* config/misc.def: do not invoke it twice
* pkg/libopts/mklibsrc.sh: incorporate stdnoreturn.in.h and
  _Noterurn.h stuff in the library source.
fix failures

From Andreas Schwab