Use the configuration options described in the documentation of openstackdocstheme and clean up some old options on the way. Change-Id: I16972c7fa1102baf66bd4478e03c0f6c77096788