removed dependency of bvsls on goal_refs

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 fixes

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

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

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

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
Merge branch 'bvsls' of https://git01.codeplex.com/z3 into opt
first attempts at getting to the bvsls from opt_context.
Merge branch 'opt' of https://git01.codeplex.com/z3 into opt