Bugzilla #51385: Added configuration option to set the version of the output PDF document. Patch by Mehdi Houshmand, applied with minor modifications