Update databases/phppgadmin to version 5.1
Tweak databases/postgresql-plproxy version 2.4