An implementation of merge sort in Python