gtkui: added option to render play state as unicode chars instead of pixbuf, for better looks on HDPI screens