Add more debugging info when no Ltac support snippet is found
Add more debugging info when no Ltac support snippet is found

c.f. https://gitlab.com/coq/coq/-/jobs/583014463 and
https://github.com/coq/coq/pull/12174#issuecomment-639435066

JasonGross/coq-tools,JasonGross/coq-tools