Some fixes to INSTALL.html to restore the information about MPI and fix some capitalization and directory name problems.