Convert the command-line option documentation formatting from bullet lists to definition lists.
Move common build options out of cmake and ccmake manuals into an OPTIONS_BUILD.txt file and include it from the original locations.