get correct table and style it better, fix #6
add highlight function
make search start at second character, fix #7
update over and footer
replace highlight function (#6)
remove obsolete changes
improve scroll-location highlight-function
add more whitelines to app.yaml
replace otherWeek-JS-function
add user-updater