Renamed AbortException (and the abort concept in general) to CancelException (fixes #13)