File document type: Show the attachment name instead of the document name under the preview

On a File document type, we currently display the document name under the preview. We should display the attachment name, because otherwise it is not displayed anywhere else. And the document name is already displayed at the top of the page and in the right gadget. We would also make the attachment name smaller.