travis-tool script to facilitate travis c.i.