Add WOFF2 and TTF versions of the font

WOFF2 version is smaller. The TTF version is useful to convert the font to other formats (most tools accept only TTF as input).