docs/install-instr: Fix git clone URL for HTTPS.