Make dependencies in src/num/arith/src's Holmakefile more accurate.
Delete generated file (src/string/theorytesting/stringlit_output)