sat-solver: Reconstruct the disjuncts from the connectors.
sat-solver: Reconstruct the disjuncts from the connectors.

From some preliminary tests, it looks the !disjuncts command
gives the same connectors as the standard parser.

This version has at least these problems:
- It aborts on !links, because the domain array doesn't exist.
- It doesn't work on Hebrew at all (but works on Russian).
- Batch runs are mostly meaningless, because the sat-solver code
  returns num-linkges=222 even when there are no linkages.
- The costs shown by !disjuncts are not always the same as those of the
  standard parser.
- In the cost vector, it always shows a disjunct costs of 0.
- It doesn't free all memory, and especially not the connectors.
  This problem always existed.

MadBomber/link-grammar,MadBomber/link-grammar,MadBomber/link-grammar,linas/link-grammar,opencog/link-grammar,opencog/link-grammar,linas/link-grammar,opencog/link-grammar,MadBomber/link-grammar,MadBomber/link-grammar,linas/link-grammar,ampli/link-grammar,ampli/link-grammar,MadBomber/link-grammar,opencog/link-grammar,ampli/link-grammar,opencog/link-grammar,opencog/link-grammar,ampli/link-grammar,linas/link-grammar,ampli/link-grammar,ampli/link-grammar,opencog/link-grammar,linas/link-grammar,ampli/link-grammar,linas/link-grammar,linas/link-grammar,opencog/link-grammar,opencog/link-grammar,MadBomber/link-grammar,ampli/link-grammar,ampli/link-grammar,MadBomber/link-grammar,linas/link-grammar,linas/link-grammar