[pacman-dev] [PATCH 2/6] repo-add: add option to specify a different key to sign with