Add a variable 'debug-out-short' to enable a shortened debug-out.txt,

useful when large circuits are monitored, which otherwise may result
in GigaBit size of data.

src/frontend/inp.c

@@ -993,6 +993,7 @@ inp_spsource(FILE *fp, bool comfile, char *filename, bool intfile)
                                 tc->linenum, tc->line);
                         }
                     }
+                    if (!cp_getvar("debug-out-short", CP_BOOL, NULL, 0)) {
                         fprintf(fdo, "**************** uncommented deck **************\n\n");
                         /* always print first line */
                         fprintf(fdo, "%6s  %6d  %6d  %s\n", deck->linesource, deck->linenum_orig, deck->linenum, deck->line);
@@ -1006,6 +1007,7 @@ inp_spsource(FILE *fp, bool comfile, char *filename, bool intfile)
                         /* now completely */
                         for (tc = deck; tc; tc = tc->nextcard)
                             fprintf(fdo, "%6s  %6d  %6d  %s\n", tc->linesource, tc->linenum_orig, tc->linenum, tc->line);
+                    }
                     fclose(fdo);
                 }
                 else
@@ -1209,10 +1211,12 @@ inp_spsource(FILE *fp, bool comfile, char *filename, bool intfile)
                         continue;
                     fprintf(fdo, "%6d  %6d  %s\n", tc->linenum_orig, tc->linenum, tc->line);
                 }
+                if (!cp_getvar("debug-out-short", CP_BOOL, NULL, 0)) {
                     fprintf(fdo, "\n****************** complete deck ***************\n\n");
                     /* now completely */
                     for (tc = deck; tc; tc = tc->nextcard)
                         fprintf(fdo, "%6d  %6d  %s\n", tc->linenum_orig, tc->linenum, tc->line);
+                }
                 fclose(fdo);
             }
             else

src/frontend/inpcom.c

@@ -1257,6 +1257,7 @@ struct card *inp_readall(FILE *fp, const char *dir_name, const char* file_name,
                             t->linenum, t->line);
                     }
                 }
+                if (!cp_getvar("debug-out-short", CP_BOOL, NULL, 0)) {
                     fprintf(fd,
                         "\n\n**************** uncommented deck "
                         "**************\n\n");
@@ -1277,12 +1278,14 @@ struct card *inp_readall(FILE *fp, const char *dir_name, const char* file_name,
                     for (t = cc; t; t = t->nextcard)
                         fprintf(fd, "%6s  %6d  %6d  %s\n",
                             t->linesource, t->linenum_orig, t->linenum, t->line);
+                }
                 fclose(fd);
 
                 fprintf(stdout,
                     "max line length %d, max subst. per line %d, number "
                     "of lines %d\n",
                     (int)max_line_length, no_braces, dynmaxline);
+
             }
             else
                 fprintf(stderr,