Regenerate the INSTALL file.

2013-07-15  Didier Verna  <didier@didierverna.net>

	* INSTALL: Regenerate from the user manual.
Docstring fix.

2013-07-15  Didier Verna  <didier@didierverna.net>

	* src/doc/doc.lisp (render-docstring): Do not mention itemization.
Various Texinfo output fixes.

Mostly regarding fresh lines (thanks Texinfo 5 warnings!).

2013-07-15  Didier Verna  <didier@didierverna.net>

	* src/util/texi.lisp (@table):
	(@multitable):
	(@itemize):
	(@defvr):
	(@deffn):
	(@deffnx): Ensure that various Texinfo constructs start on a fresh
	line.
	(@deftp): Ditto. Don't conditionalize on the existence of a
	docstring for printing it, as RENDER-DOCSTRING already does
	that. Ensure a fresh line after the docstring.
	(render-node): Don't insert an empty line after section names.