interpret.py: Fixed error reporting for server errors.
    Previously if gentle==False, just raises the current error - that tells us
    the symptom, not the cause (some random ValueError).
    Now allows the printout to go ahead (as it does for student code), but
    gives a banner heading which explains that a server error occured, to
    differentiate it from student code.
* This allows us to actually read tracebacks which bounce out of the jail.