bulky-but-brainless updates 2001.05.26

I've done a bunch of CVS commits that are bulky but mostly
uninteresting:

* renamed semi-html .txt files to .htma files
* added copyright notices (GPL) to ARK/Sidai/... teams'
  stuff
* changed things called 'rhlinux' to either plain 'linux',
  or to something like 'linux-rh6.2'

One change *is* backward-*in*compatible: I put in some stuff
to check the 'xml-version' attribute that is in every ARK
.xml file.  This will allow code in future to say "I don't
handle that version of that particular kind of thing".

A side-effect of this change is that your .xmla
("pre-compiled .xml") files are no good any more.  Just do

  find . -name '*.xmla' -print | xargs /bin/rm

and carry on as normal.  (The files will be remade to the
correct thing.)

Will