Launcher now backs up old logfile before starting a new one, to simplify gathering diagnostic info. Various other small logging improvements.