Remove special handling of high-availability manual

The manual has been converted to use docbook XML, so we can remove the
special handling of it.

Implements bp convert-ha-guide-to-docbook

Change-Id: I33be162a115b6a955ad82f251157b564d4e02d99
Merge "Remove special handling of high-availability manual"