Added the generated symbols and make the script optional so that we can
regenerate whenever we update the font.