Updates for Travis CI and Github.