Specify font family explicitly for the stream timecode.

Seemingly the default is now a font where not all digits are equally wide,
and that makes the text jump constantly back and forth. Noto Sans should
be pretty widely supported, and if not, we'll probably fall back to
whatever we had before.