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