Adding the php mongoDB's library