+ Added check that a task could be sent to a dormant state
then sta_tsk used to restart the task to its initial state.
+ Added calls to ref_tsk to yellow paths for suspended and
ready but not running tasks.
+ Fixed output file to correctly state test name + Added priority of preempt to the header file. Allows ref_tsk verification.