added the Weak_IVTQ lemma which is a stronger variant of  CoRN.ftc.StrongIVT.Weak_IVT
removed some unnecessary hints and lemmas
Merge pull request #13 from aa755/PullReq

added the Weak_IVTQ lemma which is a stronger variant of Weak_IVT