Artem Dinaburg

Update: by over-approximating variable size we are able to lift Apache and some of the tests

Splitting out Binary z3 support into into a separate PR: https://github.com/S2E/s2e/pull/50

Hmm, likely an LD_LIBRARY_PATH issue; will look into it.

The binary LLVM-13 commit split into https://github.com/S2E/s2e/pull/53 and to get the demo to run, https://github.com/S2E/scripts/pull/5

Adding some context to Peter's comments: According to the Intel Processor Manual (https://cdrdv2.intel.com/v1/dl/getContent/671110), for IMUL: ```The SF, ZF, AF, and PF flags are undefined.``` (Page 3-503) Where this becomes confusing...