benchmark-unify: adjust format name mappings
Add "Mozilla SHA-1 3DES" mapping
Adjust "pdf" mapping
Merge pull request #236 from frank-dittrich/unstable-jumbo

benchmark-unify: adjust format name mappings