The U.K.’s antitrust regulator has approved IBM Corp.’s proposed acquisition of HashiCorp Inc. for $6.4 billion.