Change the time markup

I didn’t much like the old. This is still imperfect, but somewhat
better. (Note that javascsript-timezone clobbers the title attribute.)