hcltm: Threat Modeling with HCL