docs: Fix building the docs without RTD theme.

Signed-off-by: Andreas Schneider <asn@cryptomilk.org>