Travis CI: using PPA for poppler