Added a check for PHP version 5 (libxml needed).
Refactored reading of configuration options.

Now options are in a PHP .ini style file, which is
slightly nicer than raw PHP.  The reading of the file is done
with a library function.  There is still little checking of the
options read in -- it's assumed the admin isn't hostile.