Update cli.html#4

timhc22 wants to merge 1 commit intoZokrates:masterZokrates/zokrates.github.io:masterfrom

timhc22:patch-3timhc22/zokrates.github.io:patch-3Copy head branch name to clipboard