update build script
update build script
make possible to override php-ini parameters in merge coverage commande