font: mkfontinfo script to create unicode-cover.inc.pl