OK, so we have a std::vector of pointers to task objects. How do we swap
a pair of elements to change their order?
Half the Internet claims this is std::swap(), the other half claim it's
std::swap_iter(), and a few people claim it's something else again...
