Programname, aAuthorship and GPL-license mentioned in the *.ml files now
commenting-delimiters corected
Command line arguments added.
added TODO-comments on structural changes