mongoc-ping: add examnple program to ping a MongoDB server.