Modify the GAP banner to show a rendition of the logo#6128

fingolfin wants to merge 1 commit intomastergap-system/gap:masterfrom

mh/bannergap-system/gap:mh/bannerCopy head branch name to clipboard