Use git instead of github tarball in the installation instructions