Convert last_modified to a date

[ddimaria]

We have the notion of a last_modified date that isn't really used. It's a string in the file format and in the internal representation. We should change the internal representation to be an actual datetime value.

[davidkircos]

We should also display it somewhere in the bottom bar "Last edited by David on [date]"