Automatically handle .prj files for ip cores like mig#17

VishalChani wants to merge 2 commits intobarbedo:masterbarbedo/vivado-git:masterfrom

VishalChani:masterVishalChani/vivado-git:masterCopy head branch name to clipboard