modified read_input.l to allow for more solvers for clover