Task Manager improvements
   * safer handling of WAITING tasks
   * schedulability checker

fixes #104
relates to #127