o Minor bugfixes:
    - Fix a small memory leak on exit. (We weren't freeing directory
      authority certificate download statuses.) Fixes bug 9644; bugfix
      on 0.2.4.13-alpha.