Update installation instructions and download links for 1.7.2.