Added handling of /text/, being an index of TEI documents. Includes tablesorter jQuery plugin.