Update the GAP banner to reflect the new GAP logo

[mtorpey]

This PR modifies the GAP banner on startup to show a rendering of the new logo. If the terminal encoding is UTF-8 it does this with nice Unicode dot characters, but falls back to letter o symbols otherwise.

This is an alternative to #6224 which supports colour but has some line-wrapping issues.

[fingolfin]

Some "screenshots" to visualize

Current:

With this PR:

With this PR and no UTF-8 output available:

With this PR, modified for "compact" look:

With this PR, modified for "compact" look, no UTF-8:

[fingolfin]

Just to say, while "thumbs up" to this PR are nice, what we really need is a decision whether to merge this; and if so, whether to use the compact or the "non-compact" version; and of course, approvals of the PR.

[ChrisJefferson]

I vote this PR, compact.

[james-d-mitchell]

I vote for the original logo or the compact black white one, I'd be happy with either

[stertooy]

I'll also vote for the compact version of this PR.

[fingolfin]

@james-d-mitchell by "the black white one", do you mean the non-UTF8 one? I.e. the one in the last picture?

[olexandr-konovalov]

+1 for this PR, compact

[james-d-mitchell]

@james-d-mitchell by "the black white one", do you mean the non-UTF8 one? I.e. the one in the last picture?

Yes sorry the same one as @ChrisJefferson

[fingolfin]

@james-d-mitchell now I am even more confused, as Chris was just voting for "compact": do you vote for the compact layout (which appears as in picture 4 in most terminals but falls back to image 5 if the terminal does not report support for UTF8). Or do you prefer always showing the fallback?

[fingolfin]

I guess we should just make 5 comments, one for each picture; and people can thumbs up/down each (or not vote, for three levels of support)

can't do it myself right now though, need to get the kids to finally sleep

[olexandr-konovalov]

I will do this now. Please vote using 5 separate comments below.

[olexandr-konovalov]

Option 1: Current:

[olexandr-konovalov]

Option 2: With this PR:

[olexandr-konovalov]

Option 3: With this PR and no UTF-8 output available:

[olexandr-konovalov]

Option 4: With this PR, modified for "compact" look:

[olexandr-konovalov]

Option 5: With this PR, modified for "compact" look, no UTF-8:

[james-d-mitchell]

@james-d-mitchell now I am even more confused, as Chris was just voting for "compact": do you vote for the compact layout (which appears as in picture 4 in most terminals but falls back to image 5 if the terminal does not report support for UTF8). Or do you prefer always showing the fallback?

Sorry for being confusing I've thumbs up the one I meant now, hazards of commenting from my phone

[fingolfin]

This is the compact version, which a lot of people seem to like, so going for that now.

[fingolfin]

Argh, I just realized this PR had a mixe version. Fixed this on master with a direct push (naughty, I know, but we already had an agreement so I didn't want to go through the full dance again for a trivial change like that)