Manual serving script vers. 2

Hello,

I've revised my script I posted some weeks ago. It is in use to
serve the german manual pages now.

The purpose of this is to have only one html representaion
of the manual pages, instead of three (for three tilesets).

The script serves the html game manual pages and, while doing this,
adapts the href links, adapts the img links to point to the correct
tileset, and adds the img size attributes on the fly.

It does not create a pngsize file anymore. No special action needs
to be taken to install it any more.

It can be used independently for the /manual directory and the
/website_l10n/*/manual directories, with the restriction, that the
fallback mechanism for non-existent localized manual pages won't
work, until it is installed in the base /manual directory.

The edit process for the manual is slightly affected: No width/height
attributes need to/should be present any more. If you do not use a local
server to view the pages, I suggest some links from the manual/trident
dir to the manual/html/*.html files, to load the pages via file://

The rest of this mail describes the installation. If you have any
questions, please ask.

Christian