Add missing index.html

Also,
- add a new filter for stream names
- minor changes to views based on the new index.html.
Add auto migration to the repository.