Following the new doc migration spec, the documentation theme needs to be switched to openstackdocstheme. Change-Id: Ia840524a4c3b4ceb9605c997a2971d84880c70ac