Add travis ci badges