Jiggering the travis config for the moment

so that I'm not spamming Andy, for example.