command line debugger and debugger gui. Improved gui debugger section a little bit. TODO: use some parts of docs-html/enh_dbg_user_man.txt and remove this file when ready.