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