Extended progress.rst with non-RFC extension 'OpenPGP HTTP Keyserver Protocol (HKP)'
Merge pull request #137 from dlmueller/master

Added links to HKP specification