Added a "php_cgi_bin" option

Required for run-phpt to operate properly. Its default values are populated analogously to php_bin.

(Config class' properties are also documented with this)