Travis badge inclusion