Merge pull request #236 from Alexpux/develop

For GCC-4.8 using cloog-isl instead ppl. Now "--with-host-libstdcxx" is ...