doc: switch to rtd theme