Added menu for choosing DateFormat, to display task date in different
ways.

Stored as a property.