Update travis badge to use smartlogic github

[ci skip]