Revert "Change TravisCI reporting to testdox."

This reverts commit a5e7bea8e0454036fd1278a1ed6f8adbd1464ddc.