Add a new profiling option, stacked CDF mode, which outputs a whole
lot of per-instruction timing information.
A little bit of extra debug in the symbolic execution engine.
Tweak realias a bit so as to more accurately remove redundant frame
annotations.
Dead code elimination.
Simplify a bit.  identifyFrameFromPtr's first argument is always just
exprbdd::var(x), so we might as well just pass in the x.
Redundant parameter removal.
Tweaks to debug prints.
A non-64-bit value can't point at anything, so stop saying that we
can't say anything about where it points.
There are quite a lot of places in realias where it's useful to
restrict PointerAliasingSets to only point at currently-live frames.
Make it a bit more explicit where we've done so, and get rid of some
related code duplication.
X * Y i shighly unlikely to be a pointer, for any X and Y.  Take
advantage of this in realias.
Have the realias analysis GC frames out of the initial register
aliasing sets, in the same way that it GCes them out of the stack
manipulating states.
Remove duplicate ImportRegister expressions in the peephole optimiser.
Merge github.com:sos22/SLI

Conflicts:
	sli/eval_state_machine.cpp
	sli/offline_analysis.cpp