This patch alters the Python <-> executor protocol to pass on
exception data when they occur in user Python code.