Linear solver documentation corrected
Fixes #803: sign error in Solve's forward sensitivities

std::negate does not modify its argument
linear solve: more unittests