Added Pragmata font to dotfiles