Use GitLab Mono over JetBrains Mono

GitLab Mono is a font based on JetBrains Mono, however:
- it only needs two font files rather than four, because it is based on
  the variable font
- ligatures are already removed
- the backtick bug, e.g. `A` is fixed

Changelog: changed