Document how to return from "python-interactive" to GDB.