Since script/standard only contains things that are used by the Solver and its callers, rename the files to script/solver.