More travis tweaks for coverage and other tests.