Changes:
* Charsets other than UTF-8 supported, Latin1 and Latin2 only now (Wikipedia uses
only Latin1 and UTF8), but it requires to edit exactly 3 lines to add another
encoding (1 line to add new type to encoding_t, another to say what is its name,
and third to say what should be LaTeX header for it). If no or unknown encoding is
passed, texvc assumes it is UTF-8. At least it is right if it's some ASCII-only
string.
* texvc_cgi.phtml now generates right HTTP Content-Type headers with encoding
* both OutputPage.php and texvc_cgi.phtml pass encoding to texvc
* (not really related to texvc, but also included) <pre> changed back to old behaviour
Now the only important unresolved things are CJK support and PNG transparency.
But I think we can live without them for now.
Oh, and texvc should allow more characters in \mbox{}, not only letters
and those with 8th bit set.
Please check this patch and comment.