Add documentation builds to HEAD builds

Using the new tap petere/sgml, we can now build the documentation from
source, so enable that when build from Git.  (Cut off at 9.0, because
older versions had different build targets and are out of upstream
maintenance anyway.)