Properly have .log file extension for temp log files

Created by: eseliger

Closes #308 (closed)

before, the file ending wouldn't be .log, causing some terminals to not know how to open that file when clicking on it (hence, always have to select my fav editor, because the ending will always be different and cannot be remembered.)

Before and after: