* Add a SD_task_set_name() function
* Fix SD_task_unschedule() on typed tasks
* Fix SD_task_get_execution_time() to return seconds, not flop*sec
* Add a SD_task_set_name() function
* Fix SD_task_unschedule() on typed tasks
* Fix SD_task_get_execution_time() to return seconds, not flop*sec