Add hkp port (for PGP key retrieval)
SERVER variable
Add a --server option