PHP: Install MongoDB driver if MNG keyword is explicitly listed in _XTRAS_LIST.
PHP: Add mongo.so in the PHP 5.3 ini files when installed/enabled.
PHP: Sync BOND tuner to properly support optional extensions/drivers.