Added the Travis badge