add notes about constructing an html documentation with sphinx