update php-mongo-replicaset in order to enable some extensions useful for our projet (OPA)