Improvements to Travis-CI.