Add small doc page to redirect HltEfficiencyChecker users to the Moore docs

Also fix (and slightly improve the wording) of the instructions to build the documentation - they were slightly incorrect and slightly ambiguous.