A tool to diff VCD files