[arch-dev-public] [signoff] gcc-4.5.2-4 and cloog-ppl-0.15.10-2

Move cloog-ppl headers to /usr/include/cloog-ppl and a cosmetic rebuild of gcc with configure options for the new header location. Signoff both, Allan