install-from-git.sh: forgot to set protocol. rest: Attempt to figure out a reasonable lispdir setting (--with-lispdir).