Fix issue with coverage targets not being listed as dependencies

There was a problem with symtab2gb and libour_archive.a
not being added as a target during coverage builds, whic
was causing some of the tests under cbmc/regression/symtab2gb
and cbmc/regression/goto-gcc/archives to fail.

Author: NlightNFotis

CMakeLists.txt

@@ -149,6 +149,8 @@ if("${CMAKE_CXX_COMPILER_ID}" STREQUAL "Clang" OR
               "$<TARGET_FILE:jbmc>"
               "$<TARGET_FILE:jdiff>"
               "$<TARGET_FILE:smt2_solver>"
+              "$<TARGET_FILE:symtab2gb>"
+              "libour_archive.a"
             WORKING_DIRECTORY ${CMAKE_BINARY_DIR}
         )
     endif()