warn user if installing in non-empty dir, give choice, re #9795
Merge remote-tracking branch 'origin/feature/9795_script_repo_warn_user_if_installing_non_empty_dir'