Remote descriptor fetching

Ability to fetch descriptors via an authority or directory mirror's DirPort. This involves some tricky, but important performance optimizations like making requests to directories in parallel, requesting up to 96 descriptors in a single HTTP GET, using .z compression, etc.