Small whitespace edit for the INSTALL document.
Authored by: bugman 2013-03-17
Parent: [r120]
Child: [r122]