mongodb: add install target
php: add stable pecl mongo extension