Revision 433

added HTML_img display mode. it currently generates image files using
math2img (which in turn uses latex, dvips and pstoimg (which in turn
uses gs, netpbm, and possibly otheres)). doesn't do any cacheing...
which means it's s--l--o--w. but it works.
-sam