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.