Ctrl+C termination convention

[wxmerkt]

We should document whether a Ctrl+C will terminate on the next evaluation (i.e. may be even in a minor iteration or when evaluating gradients) or terminate to the next major iteration step as an early exit - and then keep it consistent.