Change default monospace font to Source Code Pro
It's the new default platform monospace font, so we should use that instead of DejaVu. We'll probably get this for free whenever we get a 3.32 stack.
Upstream issue https://gitlab.gnome.org/GNOME/gsettings-desktop-schemas/issues/2