Progress Indicator, Status, and Cancel needed for Generate Axioms

[donpellegrino]

When pressing Generate Axioms within the Cellfie dialog, there is no feedback to the user until the operation has completed. For large or complex operations it is unclear if the operation is progressing. It would be useful to have a progress indicator, status and a button to cancel the job.