New date format

Changed the date format, now on one line and in the format "www dd mmm"
where www is the week day in 3 letters, dd the day of the month in
number and mmm the month in 3 letters.