CGI interface to texvc moved to PHP (texvc_cgi.phtml). It's much more sane now.

It now does another parsing to generate TeX. I think that's more efficient than caching generated TeX in database. OTOH it shouldn't have to parse it twice if both image+HTML and TeX are requested. Well, that certainly isn't going to be performance bottleneck.