Fix missing newline from banner

[paemurru]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 0% with 1 line in your changes missing coverage. Please review.

Project coverage is 75.86%. Comparing base (506e87c) to head (d4dd6f2).
Report is 4 commits behind head on master.

Files with missing lines	Patch %	Lines
src/Hecke.jl	0.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1647      +/-   ##
==========================================
+ Coverage   75.84%   75.86%   +0.01%     
==========================================
  Files         361      361              
  Lines      113702   113703       +1     
==========================================
+ Hits        86241    86259      +18     
+ Misses      27461    27444      -17     

Files with missing lines	Coverage Δ
src/Hecke.jl	51.77% <0.00%> (-0.17%)	⬇️

... and 29 files with indirect coverage changes