o Minor bugfixes:
    - Use less space when formatting identical microdescriptor lines in
      directory votes. Fixes bug 8158; bugfix on 0.2.4.1-alpha.