doctor: retire Mono warning

We haven't actually had any complaints about this in awhile; it appears
that cmake no longer picks up this specific framework.

Refs #11030.