This change moves building documentation out of the host and disco targets into a special docs target. The presubmit script is updated to handle the docs target. Change-Id: I975170c9e8941d126d85a391c0f3b355e4fa44dd
