doc: Mark keyserver-options timeout and http-proxy as obsolete.