Intersphinx support, local rtd docs theme

Extracted from #616