Add proggyfonts collection

The Proggy Fonts are a font collection intended for fixed-width uses
like programming languages.

Signed-off-by: Josh Cartwright <joshc@eso.teric.us>
Merge pull request #3942 from joshcartwright/proggyfonts

Add proggyfonts collection