Travis stuff

@ltratt you might want to tune this