Update Xolonium fonts to version 4.0

The new version features revised proportions to improve legibility.
Most notably, the middle bars are lowered, the glyphs in general
are slightly narrower, and the digits in particular are less stretched.