More versatile travis script