Timed PHP Compilation 1.4.0

pts/build-php-1.4.0 - 09 September 2017 - Update against php 7.1.9 build

downloads.xml:

install.sh:

interim.sh:

post.sh:

pre.sh:

results-definition.xml:

test-definition.xml: