travis: avoid travis launching a build each time I create a tag