Rename std::util::ignore to std::util::drop

It's a more fitting name for the most common use case of this function.