Revert "Revert "cloog-ppl: removing because obsolete""

This reverts commit 5873c1ea683e7994a3e1d57fe6b7dd477b12233e.