Move the HTTPProxy option to the deprecated list so for now it will only warn users but feature is still in the code which will be removed in a future stable version. Fixes #20575 Signed-off-by: David Goulet <dgoulet@torproject.org>
