Extended progress.rst with non-RFC extension 'OpenPGP HTTP Keyserver Protocol (HKP)'
slight organizational change; fixed text for the DNS PKA heading
[skip ci]