Small fixes to the coding style
Implement static index.html generation