Command-line tools to strip unnecessary glyphs from fonts