Add the proggyfonts package and use it for xmobar