Minor Kinsol documentation edits
Implicit solver: moved 'constraints' option to baseclass
Concerning #798 : implicit solver: more unittests