Use gzip contexts for HOL Light checkpoints.