add --compress option to generate-names.pl, closes #378