Fix type 3 font size initialization in pdftohtml using font bounding box
Fix type 3 font size initialization in pdftohtml - use the font bounding box where possible to get the font height, and move the existing hack to a fall-back if the font bounding box is not present. Addresses issue #1252 (closed) .