Remove leftover quotes in CI config

.gitlab-ci.yml

@@ -12,9 +12,9 @@ vio:
   script: |
     cd coq/ra/
     coqc -v
-    'time make -j8 TIMED=y quick 2>&1 | tee build-log-vio.txt'
-    'fgrep Axiom build-log.txt && exit 1'
-    'cat build-log.txt  | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-quick.txt'
+    time make -j8 TIMED=y quick 2>&1 | tee build-log-vio.txt
+    fgrep Axiom build-log.txt && exit 1
+    cat build-log.txt  | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-quick.txt
   only:
   - master
   artifacts:
@@ -26,11 +26,11 @@ vio2vo:
   tags:
   - coq
   script: |
-    'cd coq/ra/'
+    cd coq/ra/
     coqc -v
-    'time make -j8 TIMED=y vio2vo J=8 2>&1 | tee build-log-vio2vo.txt'
-    'fgrep Axiom build-log.txt && exit 1'
-    'cat build-log.txt  | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-quick.txt'
+    time make -j8 TIMED=y vio2vo J=8 2>&1 | tee build-log-vio2vo.txt
+    fgrep Axiom build-log.txt && exit 1
+    cat build-log.txt  | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-quick.txt
   only:
   - master
   artifacts:
@@ -42,12 +42,12 @@ full:
   tags:
   - coq
   script: |
-    'cd coq/ra/'
+    cd coq/ra/
     coqc -v
-    'make clean'
-    'time make -j8 TIMED=y 2>&1 | tee build-log-full.txt'
-    'fgrep Axiom build-log.txt && exit 1'
-    'cat build-log.txt  | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-quick.txt'
+    make clean'
+    time make -j8 TIMED=y 2>&1 | tee build-log-full.txt
+    fgrep Axiom build-log.txt && exit 1
+    cat build-log.txt  | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-quick.txt
   only:
   - master
   artifacts: