changes/bug8031

   1   o Minor bugfixes:
   2     - Use direct writes rather than stdio when building microdescriptor
   3       caches, in an attempt to mitigate bug 8031, or at least make it
   4       less common.
   5     - Warn more aggressively when flushing microdescriptors to a
   6       microdescriptor cache fails, in an attempt to mitegate bug 8031,
   7       or at least make it more diagnosable.