Done with making it an option to use CVodeSetStopTime() (closes #371).