travis: html is an EXTRA_DEP, not a HEAD_DEP