setup-home.sh: support cloning into a different directory than $HOME