Add the debugger/simulator documentation