Fixed a link in the INSTALL file - also useful to check Jenkins is triggering builds issue #330.