GPG util: gpgdeletepubkey.sh

Use it to delete public key from the keyring.
Trivial: file headers.
Use long options for clarity and --batch mode.