o Minor features (performance):
    - Replace parse_short_policy() with a faster implementation, to improve
      microdescriptor parsing time. Closes ticket 28853.