add global source index HTML files for cilkplus-rtl-bsd-003613