address issue 200: use stop_callback_traits to support std::stop_token#202

dietmarkuehl wants to merge 3 commits intomainbemanproject/execution:mainfrom

issue-200bemanproject/execution:issue-200Copy head branch name to clipboard