toolchain/gcc-4.7.x: add support of PPL and CLooG libraries.