Explicitly depend on the hotdoc-0.8 branch

Newer hotdoc (0.10) introduced several breaking changes which cause the documentation to be misbuilt, so let's explicitly depend on the old version.