doc: switch git clone urls to HTTPS

Switch to HTTPS because SSH clones requires write access to repository.