Updated travis configuration

Looks like 'tip' is broken, so disable it for now.