added a test case and documentation for the new contract about roots bracketing in univariate real solvers (roots exactly at endpoints are now accepted) JIRA: MATH-280