Suggest paper name as pdf name

It is best to provide de user defined paper name instead of only
`main.pdf` when he wants to download the resulting pdf file after
compilation.
Merge branch 'satabin-feature/suggest-pdf-name'