copy coverage script to share/tools and use this in CI

.gitlab-ci.yml

@@ -10,10 +10,10 @@ build:
   script:
     - mkdir build
     - cd build
-    - cmake .. -DCMAKE_BUILD_TYPE=coverage
-    - cmake --build . -- -j 4 
+    - cmake .. -DCMAKE_INSTALL_PREFIX=../install -DCMAKE_BUILD_TYPE=coverage
+    - cmake --build . --target install -- -j4 
     - ctest -j4 -V >& test.log || gzip -v -9 -S .gz test.log
-    - ../Tools/coverage.sh && tar czf coverage-report.tar.gz coverage-report
+    - ../install/share/tools/coverage.sh && tar czf coverage-report.tar.gz coverage-report
   artifacts:
     expire_in: 1 week
     paths:

Tools/CMakeLists.txt

-set (TOOLS_FILES plot_tracks.sh plot_crossings.sh)
+set (TOOLS_FILES plot_tracks.sh plot_crossings.sh coverage.sh)
 
 install (
   FILES ${TOOLS_FILES}