fixup dino-insert-timestamp to do the intelligent thing in the ninibuffer.