Only remove fn from candidate set if none of the inputs expose divergence on the badly xformed program

For a given function, as soon as an input does not diverge with a bad P1 transform, we take out the function from the set of functions to transform

Attempting to reduce time spent in IDA pro during ps_analyze.sh step.  demo_analyze.sh uses a hard-coded directory with an existing a.idb file, to make IDA Pro slightly faster.

Added test_infinite.sh which imposes time limit on dumbledore_cmd fed an input which causes an infinite loop.  Limit is set to 20 seconds.

overwriting dumbledore.c's readString's first parameter and performing overwrite from there.

Adding 2 scripts for demo.  run_gdb.sh takes directory of stratafied exe and invokes gdb -command gdb.demo.script which does some initial setup for the demo, such as setting  symbol-file and appropriate breakpoints for the example.

Cleaned up output for demo.  We may wish to have more verbose output for debugging though.  Add a switch later (either --quiet or --verbose).

badA.txt and badB.txt are example bad inputs generated from running the attack generators: attack-gradeA.no_strata and attack-gradeB.no_strata

changes to makefile to use ps_*.sh commands, and bug fixes to ps_* scripts now that they've been tested

Fixes to have ps_analyze.sh, etc.  ps_analyze.sh now does concolic testing and generates the MEDS plugin.

No commit message