Added dev-db/pgadmin3-1.20.0_beta1 based on current version in mainline tree.