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

First attempt moving from PPL to ISL library. GCC-4.8 prefer to use ISL.