Remove PHP 7.1 ports, upstream security support ended on 2019-12-01 :

2019-12-01 archivers/php71-bz2
2019-12-01 archivers/php71-phar
2019-12-01 archivers/php71-zip
2019-12-01 archivers/php71-zlib
2019-12-01 converters/php71-iconv
2019-12-01 converters/php71-mbstring
2019-12-01 converters/php71-recode
2019-12-01 databases/php71-dba
2019-12-01 databases/php71-interbase
2019-12-01 databases/php71-mysqli
2019-12-01 databases/php71-odbc
2019-12-01 databases/php71-pdo
2019-12-01 databases/php71-pdo_dblib

PHP 7.1 and PHP 7.2: add TEST_TARGET to all extensions

This enables "make test" in every extension and eases
the test of changes to PHP.

I did ignore PHP 7.0 intentionally since it only receives
security updates and will EOL at the end of the year. Therefore
no great amount of work is expected for 7.0.

Update PHP 7.1 from 7.1.6 to 7.1.7

Changelog: http://www.php.net/ChangeLog-7.php#7.1.7

PR:          220532
Reported by: Fabiano Sidler <fabianosidler@swissonline.ch>, Dani
<i.dani@outlook.com>
MFH:         2017Q3
Security:    CVE-2017-9224
Security:    CVE-2017-9226
Security:    CVE-2017-9227
Security:    CVE-2017-9228
Security:    CVE-2017-9229

Update devel/readline to 7.0 patch 3

- Bump PORTREVISION for shlib change

Changes:	https://cnswww.cns.cwru.edu/php/chet/readline/CHANGES
		https://lists.gnu.org/archive/html/bug-bash/2016-09/msg00107.html
		https://lists.gnu.org/archive/html/bug-readline/2017-01/msg00002.html
Differential Revision:	https://reviews.freebsd.org/D11172
PR:		219947
Exp-run by:	antoine

Add PHP 7.1

Thanks to: mat, pi, ale, martin@waschbuesch.de and franco@opnsense.org