Update docs to reflect move of HltEfficiencyChecker to DaVinci

Built on top of !2811 (merged), so that should go in first. Goes with DaVinci!1005 (merged).

As titled. Mostly changing paths and links to issues where they've moved projects.

Also fix an unrelated warning in the doc build related to a title underline being too short.