Change mono font to DejaVu Sans Mono

This is a test with a new font.
Perhaps it works better than Inconsolata.
And perhaps it even looks better with our other fonts