Don't use in-place sed rewrite

It seems that GNU sed and BSD sed differ enough in their handling of
arguments that it is difficult to get in-place substitution to occur.
Instead we use the original index.html as source and write the
substituted file to the output directory.