Install Sphinx theme as recommended

Read the Docs recommends installing the Sphinx theme by listing
it as an enabled extensions prior to setting it as the active theme.

This commit adds it to the enabled extensions list as it was already
set as the active theme.

Signed-off-by: Hugues KAMBA MPIANA <hugues.kambampiana@arm.com>