Added a reversed() function that's used if the current Python predated
the addition of this function as a built-in.