Add travis CI badge [ci skip]