adding CLIPS-sublime