Current version before integration ...
Merge branch 'bvsls' of https://git01.codeplex.com/z3 into bvsls

Conflicts:
	src/tactic/sls/sls_engine.cpp
	src/tactic/sls/sls_engine.h
	src/tactic/sls/sls_evaluator.h
	src/tactic/sls/sls_tracker.h
Almost cleaned up version.
Fixed bug with VNS repick.
Backup before I touch early pruning ...
Moved parameters to the right file. Almost clean.
Cleaned up final SLS version. Enjoy!
BVSLS comments

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
removed unused file

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
Merge branch 'bvsls' of https://git01.codeplex.com/z3 into opt

Conflicts:
	src/tactic/sls/sls_compilation_settings.h

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
Merge branch 'bvsls' of https://git01.codeplex.com/z3 into opt
compilation fix

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
Merge branch 'bvsls' of https://git01.codeplex.com/z3 into opt
compilation fix

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>