Refs #9432. Replaced std::list::merge with std::list::insert

Apparently, std::list::merge is not available in all versions of the
standard library.