Argh.  Fix date comparisons again.

Comparing them by their default toString() is no good, because that compares
months in alphabetical order.  Use our own dateToString() instead.