Protover.rs could use a better algorithm

This probably doesn't matter in practice, but: it would be cool if protover.rs used a smarter representation for sets of protocol versions than HashSet.  Maybe a BTreeSet of (low,high) tuples?