Update OSCAR banner (oscar-system#3410)

* New banner

* Raw strings to avoid '\' being treated as escaping

* figlet style OSCAR banner, update README.md

* Remove README.md julia syntax color

While it is possible to have Julia syntax highlighting in REPL (terminal
or command line) using for example OhMyREPL, the first-time user will
probably not have this.

* More similarity to logo from website

* Triple quoted string, manual link, text to top row

Co-authored-by: Max Horn <[email protected]>

* Fix string, remove text from top line

* Remove dot from top row in README.md

Co-authored-by: Lars Göttgens <[email protected]>

* Remove dot from top row in Oscar.jl

* Banner without vertical bars inside the letters

* Increase distance between O and S

* Print one-line banner for small terminals

---------

Co-authored-by: Max Horn <[email protected]>
Co-authored-by: Lars Göttgens <[email protected]>

README.md

@@ -14,7 +14,7 @@ Polymake, Antic and Singular.
 OSCAR requires Julia 1.6 or newer. In principle it can be installed and used
 like any other Julia package; doing so will take a couple of minutes:
 
-```julia
+```
 julia> using Pkg
 julia> Pkg.add("Oscar")
 julia> using Oscar
@@ -31,21 +31,13 @@ in the OSCAR manual to learn more on how to contribute to OSCAR.
 
 ## Examples of usage
 
-```julia
+```
 julia> using Oscar
- -----    -----    -----      -      -----
-|     |  |     |  |     |    | |    |     |
-|     |  |        |         |   |   |     |
-|     |   -----   |        |     |  |-----
-|     |        |  |        |-----|  |   |
-|     |  |     |  |     |  |     |  |    |
- -----    -----    -----   -     -  -     -
-
-...combining (and extending) ANTIC, GAP, Polymake and Singular
-Version 1.1.0-DEV ...
-... which comes with absolutely no warranty whatsoever
-Type: '?Oscar' for more information
-(c) 2019-2024 by The OSCAR Development Team
+  ___   ____   ____    _    ____
+ / _ \ / ___| / ___|  / \  |  _ \   |  Combining ANTIC, GAP, Polymake, Singular
+| | | |\___ \| |     / _ \ | |_) |  |  Type "?Oscar" for more information
+| |_| | ___) | |___ / ___ \|  _ <   |  Manual: https://docs.oscar-system.org
+ \___/ |____/ \____/_/   \_\_| \_\  |  Version 1.1.0-DEV
 
 julia> k, a = quadratic_field(-5)
 (Imaginary quadratic field defined by x^2 + 5, sqrt(-5))
@@ -107,7 +99,7 @@ by Submodule with 1 generator
 
 Of course, the cornerstones are also available directly:
 
-```julia
+```
 julia> C = Polymake.polytope.cube(3);
 
 julia> C.F_VECTOR

src/Oscar.jl

@@ -39,25 +39,18 @@ if Sys.iswindows()
 end
 
 function _print_banner()
-  println(" -----    -----    -----      -      -----   ")
-  println("|     |  |     |  |     |    | |    |     |  ")
-  println("|     |  |        |         |   |   |     |  ")
-  println("|     |   -----   |        |     |  |-----   ")
-  println("|     |        |  |        |-----|  |   |    ")
-  println("|     |  |     |  |     |  |     |  |    |   ")
-  println(" -----    -----    -----   -     -  -     -  ")
-  println()
-  println("...combining (and extending) ANTIC, GAP, Polymake and Singular")
-  print("Version")
-  printstyled(" $VERSION_NUMBER ", color = :green)
-  print("... \n ... which comes with absolutely no warranty whatsoever")
-  println()
-  println("Type: '?Oscar' for more information")
-  println("(c) 2019-2024 by The OSCAR Development Team")
+  if displaysize(stdout)[2] >= 79
+    println(
+      raw"""  ___   ____   ____    _    ____
+             / _ \ / ___| / ___|  / \  |  _ \   |  Combining ANTIC, GAP, Polymake, Singular
+            | | | |\___ \| |     / _ \ | |_) |  |  Type "?Oscar" for more information
+            | |_| | ___) | |___ / ___ \|  _ <   |  Manual: https://docs.oscar-system.org
+             \___/ |____/ \____/_/   \_\_| \_\  |  Version """ * "$VERSION_NUMBER")
+  else
+    println("OSCAR $VERSION_NUMBER  https://docs.oscar-system.org  Type \"?Oscar\" for help")
+  end
 end
 
-
-
 function __init__()
   if Sys.iswindows()
     windows_error()