Add Solver.DepQBF; move some code to Solver.Common
Problem: Fix QBF output