Use a monospace font for the interactive console

looks better for coverage reports and so on