New time stamps

Allow users to display full time stamps. Also converts time stamps to user locale-sensitive java.text.DateFormat.

This still has one preference, so that users can have a standard short time stamp, or enable a full (long) time stamp.