Parse microdescriptors

We presently lack the ability to parse tor microdescriptors. This is not needed to reach feature parity with metrics-lib (Karsten said on #7987 (moved) that they aren't relevant to metrics), but it would still be a nice capability to have.