move back to dev-libs/ppl now that 1.1 is in the main tree. Note that the current glpk dependency in the main tree is wrong.

Package-Manager: portage-2.2.8-r2
sage-ppl is now gone.