Typo fix.

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

	* src/declt.lisp (declt): Fix docstring typo.
Documentation additions.

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

	* doc/user.texi: Write Usage section and reorder some nodes.
Update INSTALL instructions.

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

	* INSTALL: Regenerate.