fixed two bugs in texmanager: dvipng version comparison, and
another related to the addition of the get_gray method
Authored by: dsdale 2008-05-29
Parent: [r5298]
Child: [r5300]
