Add ssh2 php extension