[Numpy-discussion] convert between structure arrays with different record orderings?