Add Formula for phpPgAdmin 5.1

Largely copied from phpMyAdmin, with an added dependency on a version of php from homebrew-php