Better page size parsing

Fixed a long-time standing possible problem when parsing the page size. Before, things could go wrong if the MediaBox or BBox did not start with 0 0. Now it is fine, and simpler.