Update php7 from 7.2.16 to 7.2.17

Update php7 from 7.3.3 to 7.3.4

Recompile php5 and php7 for the new readline version

Add pre-built binaries