tor-spec: move IPv6 addresses from microdescs to microdesc consensus

My torspec branch bug20916 documents the changes in legacy/trac#20916 (moved) and children. And it fixes legacy/trac#13043 (moved).