improved Docker deployment, optional change of index.html

Now, index.html can be changed to create improved representation, e.g., in search index.