aa-symex: share files with symex, path-symex

Directly use files or use symbolic links to pull in modified headers.
Merged various improvements from symex, path-symex to make code as
similar as possible.

Author: tautschnig

src/aa-path-symex/Makefile

@@ -1,5 +1,4 @@
-SRC = locs.cpp var_map.cpp path_symex_history.cpp path_symex_state.cpp \
-      path_symex.cpp build_goto_trace.cpp
+SRC = path_symex_state.cpp path_symex.cpp build_goto_trace.cpp
 
 INCLUDES= -I ..
 

src/aa-path-symex/build_goto_trace.cpp

@@ -0,0 +1 @@
+../path-symex/build_goto_trace.cpp

src/aa-path-symex/build_goto_trace.cpp

@@ -0,0 +1 @@
+../path-symex/build_goto_trace.h