Remove unimplemented CMake options from INSTALL.md