community/py3-pdfminer: upgrade to 20200517

7 jobs for !8518 with py3-pdfminer in 49 seconds
merge request