Added variable sage-shell:use-unicode-banner.