Installing the PHP library for MongoDB (PHPLIB)