Improve reference to the reference manual.

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

	* doc/user.texi (referenceref): New macro.
	(Introduction): Use it.