Enhance --php emulation support

* handle `--interactive` as an alias for `-a`
* translate `-z extension.so` into `-vDynamicExtensions.0=extension.so`
* handle `-d extension.setting=value` (follow-up to #1253) by writing line in a corresponding `[extension]` section