Regenerate the INSTALL file.

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

	* INSTALL: Regenerate from the user manual.