Return the full banner as a single string, no trailing newline.
width controls the horizontal extent; defaults to a terminal-
friendly 70 characters. The banner is pure ASCII + two box-drawing
characters so it renders cleanly in any modern UTF-8 terminal.