AWK script for conversion of GFF files to GTF.