VHD file format library and tools