Fix use of @refreference macro in user manual.

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

	* doc/user.texi (@refreference): Fix non-info output.
	(Introduction): Call @refreference on a separate line.