Add batch file to generate section numbers and table-of-contents. Bring headings into alignment with the C++ standard. Work on HTML markup.