travis: don't spam karol with mails, I should have done this before.