合并两个已排序的序列（merge）——Python实现