bash: helper to dump php extension dir

I keep looking it up! `php-extension_dir` will save some time.
bash: have php-vld load the extension

There is no point in always loading the vld extension, so inject the
configuration from the command line.