Proggy programming fonts, patched to be used with Powerline.