[PATCH 0 of 2] Fix CLooG/PPL build on latest Ubuntus

[Benoît Thébaudeau]

Hi Yann, all,

This is a new version of my patch taking all supported versions of CLooG/PPL
into account.

It also removes unsupported versions from autovars in the config.

Best regards,
Benoît