Added links to HKP specification

I've extended `doc/source/progress.rst` to reflect some of the wishes described in issue #96 regarding the OpenPGP HTTP Keyserver Protocol (HKP). A quite up-to-date summary of HKP speaking key servers is given by @philpennock here:
http://people.spodhuis.org/phil.pennock/pgp-keyservers