refactor runtime to different files corresponding to different logical units (#92)

Author: butterunderflow

headers/wasm.hpp

@@ -5,7 +5,7 @@
 #include "wasm/concrete_rt.hpp"
 #include "wasm/controls.hpp"
 #include "wasm/profile.hpp"
-#include "wasm/symbolic_rt.hpp"
+#include "wasm/sym_rt.hpp"
 #include "wasm/utils.hpp"
 
 #endif

headers/wasm/concolic_driver.hpp

@@ -6,7 +6,7 @@
 #include "output_report.hpp"
 #include "profile.hpp"
 #include "smt_solver.hpp"
-#include "symbolic_rt.hpp"
+#include "sym_rt.hpp"
 #include "utils.hpp"
 #include "z3++.h"
 #include <cassert>