Be better at detecting various formats for ASDF systems SOURCE-CONTROL slot.

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

	* src/doc/asdf.lisp (document): Handle the ASDF system SOURCE-CONTROL
	slot differently for URL strings, other strings, and everything else.
Cleanup Texinfo escaping for manual introduction, preamble and conclusion.

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

	* src/declt.lisp (declt): Consider INTRODUCTION and CONCLUSION to
	be formatted for Texinfo already. Update the docstring
	accordingly. Pre-escape other material only if not used in a
	Texinfo comment somewhere.
	(render-header): Update accordingly.
	* TODO: Update the backend section.
Add an introduction to the reference manual.

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

	* doc/generate.cl (+introduction+): New constant. Use it to produce an
	introductive chapter for the reference manual.
Update documentation for Texinfo escaping cleanup.

2013-08-05  Didier Verna  <didier@didierverna.net>

	* doc/user.texi (Customization):
	(80 Columns): Document exceptional treatment of :introduction and
	:conclusion w.r.t. Texinfo escaping.
TODO update.

2013-08-05  Didier Verna  <didier@didierverna.net>

	* TODO: Add an entry about string formatting.
Add a "Caveats" section to the user manual.

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

	* doc/user.texi (Caveats): New section.
Fix two more READ with EOF detection idioms.

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

	* util/misc.lisp (safe-read): Use STREAM as EOF return value.
	(file-packages): Update accordingly.
	* declt.lisp: Ditto.
Allow remote installation to my website.

2013-08-08  Didier Verna  <didier@didierverna.net>

	* Makefile.inc (W3DIR): Remove variable.
	(WWW_HOST):
	(WWW_DIR): New variables.
	* Makefile (install-www): Rename to www-dist. Allow remote
	installation via ssh.
	(www-undist): New target.
	(.PHONY): Update accordingly.
	* src/Makefile (install-www): Rename to www-dist.
	(.PHONY): Update accordingly.
	* doc/Makefile (install-at): Remove target.
	(install-www):  Rename to www-dist. Allow remote
	installation via ssh.
	(.PHONY): Update accordingly.
Misc Makefile improvements.

2013-08-08  Didier Verna  <didier@didierverna.net>

	* Makefile (clean):
	(distclean): Remove command silencing prefix.
	(www-dist): Factor out scp invocations.