My band just uses LO-Z to HI-Z impedance transformers when needed. They're around $15 at local shops. Obviously since you're building this you have other options, but if you want to keep the pedal simple, just slap one of those between the mic's XLR cable and the standard input jack on the pedal.
Here's a GC link for example.
GC Transformer