Remove ESBMC-specific find_macros and get_module

These are not of general use and cannot be tested in this repository.

Author: tautschnig

src/util/Makefile

@@ -13,7 +13,6 @@ SRC = arith_tools.cpp \
       expr.cpp \
       expr_util.cpp \
       file_util.cpp \
-      find_macros.cpp \
       find_symbols.cpp \
       fixedbv.cpp \
       format_constant.cpp \
@@ -22,7 +21,6 @@ SRC = arith_tools.cpp \
       format_type.cpp \
       fresh_symbol.cpp \
       get_base_name.cpp \
-      get_module.cpp \
       graph.cpp \
       guard.cpp \
       identifier.cpp \