Improve the documentation for NICKNAME-PACKAGE.

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

	* doc/user.texi (Usage): Put NICKNAME-PACKAGE's optional argument
	in brackets.