changed a few travis ci settings