[bug 987582] Compress a bunch of (probably lesser-used) fonts to .woff format

This should reduce ROM size by several MB, if I'm understanding things correctly.