Done with IDASetStopTime() in the IDA plugin (closes #374).