Using https instead of http to prevent github build badge caching