Merge pull request #5025
5ad450a travis: If the comparison-tool fails, dump the tail of the debug log (Cory Fields)