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