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.