frontend for interactive shell debuggers