DeleteProj (proj_name)

Delete the project named in proj_name. If that project is currently open, then the user is asked if they want to close it first. If the user does not close the project, then the project is not deleted.