Document/{File,PDFDocument}: drop the precondition to edit a file

'precondition' was an attribute from Products.CMFDefault. As we dropped
the latter, and the attribute has never been used in ERP5, we can delete
it.