Adds customized generated PDF filename

Sometimes it's desirable to have a custom PDF filename that differs from the source markdown file. For instance, it may be desirable to insert the git commit number into the generated PDF filename. This PR makes creating a custom PDF filename possible for this and other purposes.