(Binary Analysis) Added SymbolicSemantics::enable_read_pruning()

Turns on/off pruning of McCarthy memory read expressions. When pruning
is enabled, the clauses that cannot contribute anything are pruned
away, resulting in smaller expressions at the expense of calling the
SMT solver more often.

(cherry picked from commit 8c25a320891e6c97f30003538af0339e5f7017fb)
(Binary Simulator) Added another multi-domain example

(cherry picked from commit 583e685ca079ac3d34feaf451b76dd09e2e10750)
(Binary Simulator) Added patch for MultiWithConversion demo

(cherry picked from commit 06240f70a3c4ca886cac8569702ebda2bda183cf)
(Binary Simulator) Print instructions as they execute; merge from AS

(cherry picked from commit 368c5338ddf316e5ca1d7aaca94e46a170beff2a)
(Binary Simulator) Print entire machine state after each instruction

(cherry picked from commit e676f54907af67506e40326fd9b3f46926dda300)
(Binary Simulator) synchronize stdio with iostream

(cherry picked from commit 66d973f843dcc55d60a64153ef29cfd12ff4840d)
(Binary Simulator) Adding mixed-interpretation memory layer (CHECKPOINT)

End-of-day check point.  Not tested.  Might not even compile.

(cherry picked from commit 3360f7f992cfbf1239160ca4370ea899f461a23b)
(Binary Simulator) Demo using mixed semantics for memory state

Compiles, but not well tested.

(cherry picked from commit 9dc0e03e46135fad3d2480eb5be52af8732e1c76)
(Binary Analysis) Made multi-value output more readable

(cherry picked from commit 77931a51044f8fab0e834e5a0185e863b957046f)
(Binary Analysis) Documentation

(cherry picked from commit 0bed76853d988e69ba6b1b87e1212cbc1acfd1a6)
(Binary Analysis) Fixed read-after-free error in MemoryMap::mprotect()

(cherry picked from commit aa210ad036eb9ad44f60f4baf9141811a3512410)
(Binary Simulator) Updated patch for the multi-domain demo

[Andreas, be sure to re-apply this patch. There's a couple changes
in RSIM_SemanticsSettings.h that you'll need to compile the demo]

(cherry picked from commit 557dfc6cdd29b9c4b18b1dd751a45b26c8ada256)
(Binary Simulator) Mult-domain readRegister example

(cherry picked from commit 2fe3705929083a37eb76e32ccb63ffa49fbaebfc)
(Binary Simulator) Example for Andreas

(cherry picked from commit 9e62e987b847ff819dcdc2408eb5d5f34b67df80)
(Binary Simulator) Commenting out a small example

(cherry picked from commit f710d161bb8a325181bdaa9a84285400dc903f9c)
(Binary Unparser) Added function call graph info to output

* The backend() function generates a global control flow graph
  and attaches it to the default AsmUnparser object in order
  to produce function call information in the assembly listing.

(cherry picked from commit 9b336135f45576f928097c0138cac5633e127928)
(Binary Tests) Updated test answers for new unparser settings

(cherry picked from commit e1aa2cff110a2067e5e47420e10f3cb73a6949a8)
(Binary Unparser) Do not calculate CFG over disassembly leftovers

(cherry picked from commit ba0064c8c29d862a00adee391c70270765cef223)
(BinFuncDetect) Use new AsmUnparser features

* Calculate a CFG ad pass it to the unparser rather than calculating
  a function call graph and doing everything ourself.

(cherry picked from commit a3678a955c8d7682c869a621d8438b6e79b65cdb)
(Binary Unparser) Added skip/back messages to linear output

(cherry picked from commit 1c528050aedd3cb3623896879b6b8b2b58f16c65)