this is a utiltiy to convert the artificial character database into a 
12x8 pixel array. see the header in convert.cc for more information.