Add libcloog-ppl-dev to ubuntu-precise; resolves travis-ci/apt-package-whitelist#2134
Add libcloog-ppl-dev to ubuntu-precise; resolves travis-ci/apt-package-whitelist#2134

Packages: libcloog-ppl-dev libcloog-ppl1 cloog-ppl

travis-ci/apt-package-whitelist,travis-ci/apt-package-whitelist