Unix Python debugger