replacing mad prettyprinter with less mad one
SqliteBackedTIM now keeps track of mtimes and only updates
entries which have changed.
TODO: Database versioning. For now, delete file to force rebuild.
Made search do that thing where it works.
Made textdata work
Fixed problem preventing menu generation from working
and hopefully fixed bug in firefox with compiled js.
Modified offline export build to base the build time
on the git repository pull time. This bases the file name
on the day and time that a new version of the site became
available - assuming normal 'invoke' usage.
Users can also see if a new version is available.

Also increased the sleepiness
Bug fixes and changes to appearance
Changed required for fully qualified subdiv uids
Added ability to unobtrusively rebuild TIM
fixes to css
Replaced evil triangle with good triangle in details links.
updates to css
Updates to make offline build work properly and as desired.
Added option for including nonfree fonts in offline build
- after all, that's exactly what a good site-scraper will do.
(This option is not included in global.conf, you need to know
about it to use it)
Significantly improved the Chinese Dictionary and added an invoke
task which will build the special javascript 'data' scripts
required for powering it (this needs to be an invoke script
because the source is updated from time to time).
'--download' is not working yet I need to get online to find the
URL.

A couple backend modifications also made to Pali Dictionary.
fixes to webtools
Fix to TIM to make it work and speed up indexing.
Added code to handling automatic downloading of buddhdic.txt.gz
(the source file for the zh2en dictionary)
With the offline build, zip and 7z are now maximum niced. This may
or may not make a difference but the server has sometimes seemed
to have problems around the time they run.