proper badge target, use https instead of git for travis ci