Arti uses wrong case for Microdesc protover

This is cased as MicroDesc in tor-protover, when the actual name is Microdesc.

This bug doesn't effect anything, since we don't currently check this protocol, advertise it, or implement #1849 (closed).