[Bug 689476] Review Request: dvipng114 - Converts DVI files to PNG/GIF format