Fix to Roszman1's certified solution. Extend nist.cc to test more nonlinear and linear solvers. (Thanks to Markus Moll for finding the Roszman1 bug) Change-Id: I92b4bab0771de85f7fe711fb0853f155991f4aaf