Adding php 7.1 to Jenkinsfile

Jenkinsfile

@@ -14,6 +14,15 @@ timestampedNode('SLAVE') {
             sh '''make test-js'''
         }
 
+    stage 'PHPUnit on 7.1'
+        sh '''
+        export NOCOVERAGE=1
+        unset USEDOCKER
+        phpenv local 7.1
+	make test-php TEST_DATABASE=sqlite
+        '''
+        step([$class: 'JUnitResultArchiver', testResults: 'tests/autotest-results-sqlite.xml'])
+
     stage 'PHPUnit'
         executeAndReport('tests/autotest-results-sqlite.xml') {
             sh '''