complibs: add ISL

ISL is used by gcc-4.8 onward for GRAPHITE, so is also used as
backend for CLooG 0.18.0 onward.

Reported-by: "Plotnikov Dmitry" <leitz@ispras.ru>
[Dmitry did a preliminray patch to add ISL, which this one is inspired from]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
cc/gcc: add preliminray support for 4.8

This means:
  - introduce the new symbols for 4.8
  - do not always select PPL if graphite is selected

Reported-by: "Plotnikov Dmitry" <leitz@ispras.ru>
[Dmitry did a preliminray patch to add gcc-4.8 support,
 which this patch is inspired from]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
complibs/cloog: add support for the ISL backend

CLooG 0.18+ will use ISL instead of PPL, so we have to configure
adequately depending of which backend is in use.

The Kconfig entries will decide for us which is selected, so we
can rely on either PPL xor ISL to be selected, not both.

Reported-by: "Plotnikov Dmitry" <leitz@ispras.ru>
[Dmitry did a preliminray patch to add ISL support,
 which this patch is inspired from]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
cc/gcc: add 4.8.0 and linaro-4.8

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
complibs/mpc: add versions 1.0 and 1.0.1

Signed-off-by: Daniel Rubio Bonilla <danielrubiob@gmail.com>
Message-Id: <CAOfWMGAc7XMXYNZ2Tz-a4PgRrCsAz5hN5NkH9KRe9+pm+go7UQ@mail.gmail.com>
Patchwork-Id: 245977