INSTALL fixes

Many of the descriptions in the INSTALL file seem obsolete, fix them at least partially.

Also, /doc/Doxyfile_cn and /doc/Doxyfile_en are generated, so put them in the gitignore.