travis-ci: add libptscotch-dev