docs: Fix building the docs without RTD theme.

Signed-off-by: Andreas Schneider <asn@cryptomilk.org>
Merge pull request #982 from gladiac/docs

docs: Fix building the docs without RTD theme.