Log Message:
Switch php72 to use pkgsrc sqlite3 library instead of the bundled one

PHP bundles a sqlite3 lib, it's used when the build can't find
system one. Switch to the pkgsrc-provided one, eliminating also
need to maintain a local patch for it. While here make this into a
tunable compile option 'sqlite3', by default on, same as before.