web: Add a "do not edit" header to generated HTML files

A potential Cockpit contributor was editing the index.html in the
toplevel, instead of the actual sources in src/web.  Add a warning
which should help prevent that.