Enhancement: Copy run-tests.php
from php/php-src
#850
Merged
run-tests.php
from php/php-src
#850