Add support for phpX.Y bin name format

[MauricioFauth]

This makes easier to run configure.php with a versioned PHP executable. Also removes php5* bin names, as PHP 5 is not supported.

For example:

- php8.5 doc-base/configure.php --with-php=$(which php8.5)
+ php8.5 doc-base/configure.php

[alfsb]

This is something that bothers me. There is a case where PHP_BINARY does not work? I think that this --with-php is obsolete and/or broken since PHP 5.5.

[MauricioFauth]

This is something that bothers me. There is a case where PHP_BINARY does not work? I think that this --with-php is obsolete and/or broken since PHP 5.5.

Using the constant PHP_BINARY is a good idea. I'll work on that.

I use the option --with-php with no issues. I have the https://deb.sury.org/ packages installed and they have the phpX.Y format, and sometimes I set the php package to an older version, that's why I use the option --with-php.

Even if the constant PHP_BINARY work for most cases, I think it's good to still have the option --with-php.