Add travis CI badge