Removed links to now-defunct boost vault, replaced with links to github (where the boost vault files are now available).