Encode the dictionary size in the stripe footer. Print out the encoding
in filedump.