tools: Fix pdf2txt
tools: Fix pdf2txt

- Ubuntu's package installs pdf2txt better than pip.

ahamilton/vigil,ahamilton/vigil,ahamilton/vigil,ahamilton/vigil,ahamilton/vigil,ahamilton/vigil,ahamilton/vigil,ahamilton/vigil,ahamilton/vigil