Split cover.cpp into separate files

We have created a base class called cover_utils, which contains
all attributes and methods used by all coverage analysis
(e.g., location, branch, condition, etc). We have then inhereted
instrument_cover_goalst and instrument_mcdc_goalst from that base
class.

Author: lucasccordeiro

src/cbmc/Makefile

@@ -22,6 +22,8 @@ OBJ += ../ansi-c/ansi-c$(LIBEXT) \
       ../goto-instrument/full_slicer$(OBJEXT) \
       ../goto-instrument/nondet_static$(OBJEXT) \
       ../goto-instrument/cover$(OBJEXT) \
+      ../goto-instrument/cover_utils$(OBJEXT) \
+      ../goto-instrument/cover_mcdc$(OBJEXT) \
       ../analyses/analyses$(LIBEXT) \
       ../langapi/langapi$(LIBEXT) \
       ../xmllang/xmllang$(LIBEXT) \

src/goto-instrument/Makefile

@@ -23,7 +23,7 @@ SRC = goto_instrument_parse_options.cpp rw_set.cpp \
       wmm/event_graph.cpp wmm/pair_collection.cpp \
       goto_instrument_main.cpp horn_encoding.cpp \
       thread_instrumentation.cpp skip_loops.cpp loop_utils.cpp \
-      code_contracts.cpp cover.cpp
+      code_contracts.cpp cover_utils.cpp cover_mcdc.cpp cover.cpp
 
 OBJ += ../ansi-c/ansi-c$(LIBEXT) \
       ../cpp/cpp$(LIBEXT) \