Timestamp format and display

1. Change the file naming for auto save. A file name should look like AllCavities-2018-07-23-15-45-34.345.xml Mind the hyphens.
2. Add label that displays the last timestamp when auto-save happened.