add documentation to Solver.timeout function
rename gem_version back to version