Converts DVI files to PNG/GIF format