Add travis CI badge.