Typo.
Support logging to an external file, not only stderr
Merge branch 'log_verbose'
Less conservative timeouts in tests, to make travis happy.
Cosmetic: better info messages
Merge branch 'master' into localhost_ping
Reinstate minimal speedup of 10 ms