Remove BUG() when checking TOO_MANY_OUTDATED_DIRSERVERS.

Nick Mathewsonrequested to merge
nickm/tor:bug40234_035 into maint-0.4.5

Fixes bug #40234 (closed); bugfix on 0.3.2.5-alpha.

Merge request reports