Add setup option to choose EDK2 svn URL