travis stuff

i don't know if you enabled it already