Output the log to log.txt.
Add tee-logging to Windows start_game.bat script.