renamed HOL-Import-HOL to HOL4, added to images target
renamed HOL-Import-HOL to HOL4, added to images target

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle