Add config.sh file

config.sh

+# This file contains the definition of various support variables useful in different scripts
+basepath=$(pwd)
+binaries_file=$basepath/binaries.txt
+matching_script_dir=$basepath/scripting/boundaries-comparison-scripts
+workdir=$basepath/workdir/$arch
+matching_dir=$workdir/result-matching
+revng_json_dir=$workdir/revng-json
+ida_json_dir=$workdir/ida-json-normalized