Make the timestamp format editable in settings. Fix #64