Minor edit in web.js
Read index.html content from filesystem