Add Github banner. Allow overriding name of index.html page. Change some German text to English.
Add Github banner. Allow overriding name of index.html page. Change some German text to English.