Update Version 1.11:
  - Manual LFD_MANUAL.tex updated (overview over built-in types,..)
  - Minor: Execution print-out modified (user-size surpressed if identical to variable-sized)
  - Minor: CmdLineArg: 'T' 't' 'F' 'f' are now also accepted as "True"/"False"
  - Time total is always printed on screen.
  - Inital heap-size is printed after sandboxing.	
  - Some constraints within .constraint now bear corresponding line numbers if used with option -npref.
  - Minor: Bug: Before: writing .constraint file is surpressed with option  -perf.
	           Now: writing .constraint file is written    with options -perf AND -nlp!
  - Minor: Bug with option -width fixed.
  - Example added: reverse.lfd, reverse_cmlt.cmlt, big2000.lfd, huffman_pair.cmlt, heapsort_old.cmlt
  - Examples revised: tpo.lfd, huffman.cmlt, heapsort.cmlt
