Issue #254 Remove duplicate CMake options TOC entry.

The build options are a hidden sub-section of the configuration step of the installation instructions. As this page is further not a how-to guide by itself, it should not be listed under the "How-to Guides" menu anyway.