Include also the gtk-doc/html documentation in the developer package.