Doc: restructure documentation of the configure script's options