Generalized install step, esp. for Android users

I use git, emacs, and vim on my Android phone. In this environment, git has trouble with `https://...` repos, but fortunately it handles `git@github...` URLs fine.