Change URL of MIT boot camp; add ERDC boot camp

We're not hosting the MIT boot camp repo on my account any more.