Create a script to simplify the language specification (#4340)

This PR adds the script 'specification/scripts/simplify_specification.dart' which will read 'dartLangSpec.tex', remove LaTeX comments, remove commentary and rationale, and join the lines of paragraphs to a single line. The result is saved as 'dartLangSpec-terse.tex' which is more convenient for searching (grepping) and for reading normative text.

Moreover, whitespace in 'dartLangSpec.tex' is modified for improved consistency. In particular, commentary and rationale is indented consistently and a number of line breaks have been moved a bit in order to avoid lines longer than 80 characters.

Author: eernstg

specification/.gitignore

@@ -6,6 +6,7 @@ dartLangSpec*.log
 dartLangSpec*.out
 dartLangSpec*.pdf
 dartLangSpec*.toc
+dartLangSpec-terse.tex
 *-hash.tex
 *-list.txt
 .dart_tool/

specification/Makefile

@@ -2,6 +2,8 @@ NAME=dartLangSpec
 SPEC=$(NAME).tex
 HASH=$(NAME)-hash.tex
 LIST=$(NAME)-list.txt
+TERSE_SPEC=$(NAME)-terse.tex
+TERSE_IDX=$(NAME)-terse.idx
 HASHER=scripts/addlatexhash.dart
 
 pdf:
@@ -39,6 +41,17 @@ dvihash: hash_and_list
 hash_and_list:
 	dart $(HASHER) $(SPEC) $(HASH) $(LIST)
 
+terse:
+	dart scripts/simplify_specification.dart
+
+tersepdf:
+	pdflatex $(TERSE_SPEC)
+	makeindex $(TERSE_IDX)
+	pdflatex $(TERSE_SPEC)
+	makeindex $(TERSE_IDX)
+	pdflatex $(TERSE_SPEC)
+	pdflatex $(TERSE_SPEC)
+
 help:
 	@echo "Goals:"
 	@echo "  pdf, dvi: generate the pdf/dvi file containing the spec"