Create links to the HOT reference

Enable and use the os-doc-tools sphinx extension to create links to the
HOT reference resources documentation.

Change-Id: If688c57de855f9165f14979a37d289f2d5313862
Merge "Create links to the HOT reference"