*Actually* add Travis badge.