link to static HTML table of contents from index.php, refs #58
remove workaround code no longer needed
remove PHP tree generation code

use c9e69f560ec5681d1e77aab1a322cad5120c6cf9 instead
make permalinks indexable by google