First commit of smackreach.py.  Includes basic regression tests (subject to change based on tool design decisions)
new smackreach.py output sort order and new regression tests
Change to expectation for if3.c regression
Merge branch 'develop' into feature-reachability
Merge branch 'feature-reachability' into develop