Fix cat_tools dependency: install from pinned git SHA, not PGXN#10

jnasbyupgrade wants to merge 5 commits into

Postgres-Extensions:masterPostgres-Extensions/extension_tools:masterfrom

jnasbyupgrade:fix-cat-tools-installjnasbyupgrade/extension_tools:fix-cat-tools-installCopy head branch name to clipboard