Disable test 48 on old Coq
Disable test 48 on old Coq

We need `Require Import Coq.Init.Ltac.` to work.  I didn't want to
bother trying to figure out how to support multiple Ltac support
snippets in this very specific test.

JasonGross/coq-tools,JasonGross/coq-tools