User manual improvements.

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

	* doc/user.texi: Augment introduction and reorder some sections.