Add --seo command line option.

Created a minimal PHP script that serves plain HTML class documentation
when search engine requests _escaped_fragment_.  Otherwise it just
serves the old index page (now renamed to template.html).

At the moment the script outputs only docs for the class itself, not
for its members.