Write general.json file with general statistics

As discussed last week, I propose to create a new general.json file, so that the information is available outside of the index.html.