add DiskImageFile::ImageFileFormat()