Changed console from reverse video to normal (white background, black
text), as requested in steering committee meeting, since this makes
a big difference to visibility in lectures (cf longitudinal chromatic
aberration).