Provide CrateDB reference documentation per `cratedb` intersphinx domain#670

amotl wants to merge 1 commit intomaincrate/crate-docs-theme:mainfrom

intersphinx-compact-refscrate/crate-docs-theme:intersphinx-compact-refsCopy head branch name to clipboard