added additional options to travis config file