added tests for LLVM stack cache analysis

Only active for MiBench/office/rsynth/say right now.

New cmake macros for building/testing SCA:
set_sca_options()
make_ais()

Depends on an external ILP solver (current default is glpk).