no longer prepends testCstr/, also returns scores
moved free variable counter out of K1.
free variables now tracked by separate vector.
forgot to commit primalize earlier.
removed dualCstrVar, not really meaningful and breaks primal/dual symmetry.
added configurable names.
sedumi needs to symmetrize arguments.
Support for dual recovery pushed through and tested.
simple test for dual recovery
dual solutions also tested now.
better checking for empty expressions.