Added solvers; change variable names in JFNKHouse