Added php56 with support for gmp to install script