Implement newton_merge_notensor_fwpds in InterGraph.cpp

Make copies of InterGraph::setupInterSolution and InterGraph::saturate and
change them to solve linearized problems instead.
Add FWPDS::useNewtonNoTensor(bool)

call useNewtonNoTensor before FWPDS::poststar to use
newton_merge_notensor_fwpds for the poststar query.
Add a goal in NewtonCompare to run newton_merge_notensor_fwpds.

New goal #8.
Also changed the help message printed to use the accepted names for different
flavours of the solver.
Bug fix in FWPDS::isOutputTensored.

if newtonGr is not setup then the output automaton is not tensored,
return as such.
Implemented correct semantics of schoose.

schoose[pos, neg] = (* & !(neg)) | pos.