Added GMP 5.1.3 with ictce-5.5.0 and c++ support