introduce ${git_protocol} for html project

[YazElla]

GitHub has revoked git: as git protocol due to safety reasons. The local build with Ninja or Unix Make Files breaks without this change