Adding thread-list to get a list of all running threads.
This conses a new list for safety (not sharing with the scheduler)
and so is not a cheap operation if many threads are running.