Change https with git protocol in installation section.