[tor-commits] [collector/master] Use a different history file for micro-consensus descriptors.