allow to filter for tor_version

use case: "show me all relays with contact X and tor version Z"

ideally it would be possible to search for

  • multiple versions
  • version ranges (older than, newer than)

https://lists.torproject.org/pipermail/tor-relays/2017-February/011921.html