[PATCH] gitk: Make the date/time display configurable