Fixes for the programmer's manual.
Fixes to the progdoc.
Use <chapt> for chapters, <sect> for sections and <sect1> for subsections.
Formatting of progdoc works in both HTML and LaTeX. The LaTeX outputstill has somewhat weird spacing, but it will be hopefully easyto fix.
Added the introduction chapter of progdoc.