fix: coq-tests.el and related files

* The "./test1.v" relative filename triggered an issue
  => use (coq-test-full-path "test1.v")

* The (coq-test-cmd "...") was not optimal for coq-test-print
  => use (progn
     (coq-test-goto-before "(*some-unique-identifier*)")
     (proof-goto-point)
     (proof-shell-wait))

* The (string-trim "...") function was not defined in batch mode
  => use (require 'subr-x)

& Remove forgotten "(setq temp" snippet.

1 files changed, 2 insertions, 2 deletions

diff --git a/ci/test1.v b/ci/test1.v
index 0c4b77fe..0a9ef963 100644
--- a/ci/test1.v
+++ b/ci/test1.v
@@ -1,10 +1,10 @@
-Definition trois := 3. 
+Definition trois := 3. (*test-definition*)
 Print trois.
 Eval compute in 10 * trois * trois.
 
 
 
-Lemma  easy_proof : (forall A : Prop, A -> A). 
+Lemma easy_proof : forall A : Prop, A -> A.
 Proof using .
   intros A.
   intros proof_of_A.