o Removed features:
    - Directory authorities do not support giving out the BadDirectory
      flag anymore.
    - Clients don't understand the BadDirectory flag in the consensus
      anymore, and ignore it.