cloog, gmp, mpfr : update for gcc 4.8.x
Merge branch 'devel'
Merge branch 'master' of https://github.com/OpenBricks/openbricks
Merge remote-tracking branch 'origin/master'
ssh-client: fix install script