debugger bug fixed
Merge remote-tracking branch 'refs/remotes/origin/debug' into boost-mpi

Conflicts:
	debug/debug_prompt.cpp