Cask pgadmin3: amend gpg, add license and name