Renamed api files to avoid object-file clashes

Author: Enrico Steffinlongo

regression/libcprover-cpp/call_bmc.cpp

@@ -4,7 +4,7 @@
 #include <util/exception_utils.h>
 
 #include <libcprover-cpp/api.h>
-#include <libcprover-cpp/options.h>
+#include <libcprover-cpp/api_options.h>
 
 #include "goto_model.h"
 

src/libcprover-cpp/api.h

@@ -17,7 +17,7 @@ struct api_session_implementationt;
 // a pragma like below to silence the warning (at least as long
 // as the design principle is to be followed.)
 
-#include "options.h" // IWYU pragma: keep
+#include "api_options.h" // IWYU pragma: keep
 
 /// Opaque message type. Properties of messages to be fetched through further
 /// api calls.

src/libcprover-cpp/options.cpp renamed to src/libcprover-cpp/api_options.cpp

@@ -1,6 +1,6 @@
 // Author: Fotis Koutoulakis for Diffblue Ltd.
 
-#include "options.h"
+#include "api_options.h"
 
 #include <util/cmdline.h>
 #include <util/make_unique.h>