Fix typos in the INSTALL file
Add an installation section in the manual.