Update html documentation page with new version and date