Renamed temporary Standard ML file to be consistent with conventions
.gitignore now ignores all temporary files created in a build