Version Control With Subversion Source

Add robots.txt, and an empty placeholder for nightlies.

* src/en/book/copyright.xml: Bump year to 2005.

Update of the Norwegian web page.

* www/index.nb.html
Update changes from r1340.

* www/index.en.html: Fix typo.

Update the English webpage to present book versions differently. I kept the
old stylesheet styles around for the translations to use, but hope that
those teams will switch to the new layout ASAP.

Revert previous id remapping and reapply a different mapping after discussion.

* en/book/appa.xml
* en/book/appb.xml
* en/book/appc.xml
* en/book/appd.xml
* en/book/foreword.xml
* en/book/ch00.xml
* en/book/ch01.xml
* en/book/ch02.xml
* en/book/ch03.xml
* en/book/ch04.xml
* en/book/ch05.xml
* en/book/ch06.xml
* en/book/ch07.xml
* en/book/ch08.xml
* en/book/ch09.xml
* en/book/copyright.xml
* en/ID-REMAP

* src/en/book/ch05.xml
Lose the svnshell.py section.

Execute: 'tools/idsub.py en/ID-REMAP en/book/*.xml'

* en/book/appa.xml
* en/book/appb.xml
* en/book/appc.xml
* en/book/appd.xml
* en/book/ch00.xml
* en/book/ch01.xml
* en/book/ch02.xml
* en/book/ch03.xml
* en/book/ch04.xml
* en/book/ch05.xml
* en/book/ch06.xml
* en/book/ch07.xml
* en/book/ch08.xml
* en/book/ch09.xml

Some ID renaming work.

* tools/chunk-stylesheet.xsl: Turn on "use.id.as.filename".
* tools/idsub.py: New, a little script to crudely substitute ids.
* en/ID-REMAP: Catch up with ID changes following the merge of "1.2-work",
plus fix up now I realize that '+' is not a valid id character.

Delete sussman's temporary branch, it has been merged.