Add hinting with ttfautohint

Summary: Run `ttfautohint` over all of the generated ttf files (before
they are turned into eot/woff/woff2s) to produce better hinting on some
characters. We always turn on windows compatibility, and manually turn
on symbol-only mode for some fonts that it complained about without it.

Test plan:
 - Run `make ttf`
 - See that things work, and there are no errors about symbol mode

Auditors: alpert

Author: xymostech

default.cfg

@@ -32,6 +32,7 @@ TTF2EOT=ttf2eot
 TTF2SVG=/usr/share/java/batik-ttf2svg.jar
 TTX=ttx
 WOFF2=woff2_compress
+TTFAUTOHINT=ttfautohint
 
 #### Image compression tools ####
 OPTIPNG=optipng

fonts/OTF/TeX/Makefile

@@ -107,6 +107,16 @@ ttf: ff
 		$(FONTFORGE) -lang=ff -script ff/$$file; \
 		done
 
+	@for file in `ls ttf/*.ttf`; do \
+		echo "hinting $$file"; \
+		if echo "$$file" | $(GREP) -q -e "Greek" -e "Size[1-4]" -e "Typewriter" -e "Win"; then \
+			$(TTFAUTOHINT) --windows-compatibility --symbol $$file $$file.hinted; \
+		else \
+			$(TTFAUTOHINT) --windows-compatibility $$file $$file.hinted; \
+		fi; \
+		mv $$file.hinted $$file; \
+		done
+
 	./fix_os2_metrics.rb ttf/
 eot: ttf
 	mkdir -p eot