Update installation_ci.md