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