Adding the Travis badge