deadlock test in counterstrategy fixed
first check for satisfiability without topo. if unsat, return core. if satisfiable, check incrementally until returned set of clauses changes. This is in response to observed cores for hallwayofdoom type specs
work-around broken analysis; when realizable, only do report if aut is trivial
fix conjunctsToCNF to handle prop names that are a substring of other prop names
need three tests -- no topo, just topo and combination
additional arguments for unreal case
fixes reporting error when spec is realizable and env is ok
in search for picosat, look only for directories
checking for rho3 transitions is not enough for falsification, need to check that there are no rho1 transitions
Merge remote-tracking branch 'vasu/cores' into slurp-dev

Conflicts:
	src/lib/cores/coreUtils.py
	src/lib/specCompiler.py
	src/specEditor.py
print LTL core to console for S.E. case too
add debug print to show which core-finding heuristic was used
Use bit representations for STAY_THERE and TARGET_IS_STATIONARY to speed
up core-finding.   Give full SLURP parser feedback messages.
update simgui's call to slurp's generate() to new signature
Only run corefinding after "refine analysis" button is clicked.
Make mopsy work with new call signature for findCoresUnsat
complain extremely loudly if picomus was compiled without trace support.  never again!
start with numRegions + non-topo unwind depth when looking at all safeties
Update SLURP.
SLURP support in mopsy