Merge pull request #149 from Alexpux/develop

First attempt moving from PPL to ISL library. GCC-4.8 prefer to use ISL.
Merge pull request #150 from Alexpux/develop

Fix cloog configure flags and GCC-4.8 flags