doc: make RTD theme dependency optional
doc: make RTD theme dependency optional

We still prefer the RTD theme, but we'll allow Sphinx to gracefully use
the default theme du jour.

jnikula/hawkmoth,jnikula/hawkmoth