doc: Mark keyserver-options timeout and http-proxy as obsolete.
(cherry picked from commit 6c000d4b78b836686e5a2789cc88a41e465e4400)