[system] Remove #"write-date" file property.

This was identical to #"modification-date", so there was no need
for it.
Merge pull request #706 from waywardmonkeys/remove-write-date

[system] Remove #"write-date" file property.