dist/pull: don't clone dotfiles.git if it's missing
dist/pull: don't clone dotfiles.git if it's missing

dist/bootstrap does that. This was migration code anyway – I added it
two years ago and it is not needed anymore.

grawity/hacks,grawity/hacks,grawity/hacks,grawity/hacks,grawity/hacks,grawity/hacks,grawity/hacks