Streamline Travis config at @travisci's request