#6 append date and time to default save filename

Also:
* increase width of saveName input element to accommodate longer default filename
* add .json file extension to default filename, so that it shows in the save popup window.
* strip dangerous characters from filename before it is displayed in the save popup window