Banner broke with memory filled by only a couple hundreds megabytes of
memory, the amount displayed was too large for what was reserved. More
space is now dedicated to displaying such numbers, and the ramp is thus
a bit shorter.
Mu4e header is now only 80 chars wide by default, regardless on the
width of the current frame.
Some code is now also better aligned, some whitespace was left from
earlier configuration that did not make it into the git repository