Update cloog/isl versions and small cleanup

Signed-off-by: Paul Beeler <pbeeler80@gmail.com>
Add linux targets to "all"

Signed-off-by: Paul Beeler <pbeeler80@gmail.com>
gcc 4.10 never exsisted.

Signed-off-by: Paul Beeler <pbeeler80@gmail.com>
Merge remote-tracking branch 'sm/master' into sm