Include differently HTML files and other files

We parse HTML files and perform substitutions on them.  For other
files, we just return their content, properly escaped for HTML.
Version 0.7.6
Convert newlines to \n for JavaScript.