Add check for pdf files

Check if the file is a PDF file and add a warning about PDFs being
difficult to edit. Closes #479