shorter traceback from KeyboardInterrupt

theano/gof/link.py

@@ -38,6 +38,9 @@ def raise_with_op(op, exc_info = None):
     if exc_info is None:
         exc_info = sys.exc_info()
     exc_type, exc_value, exc_trace = exc_info
+    if exc_type == KeyboardInterrupt:
+        # print a simple traceback from KeyboardInterrupt
+        raise exc_type, exc_value, exc_trace
     try:
         trace = op.tag.trace
     except AttributeError: