Patch to correct JSON load and old XML log parsing
This series of patches also improves some functionality as described in doc/release.notes. Notably, GaussStat calculations were revised to ease output of data in JSON format and old behaviour of generating/merging the HTML table(s) in DownloadAndBuildStat was recovered.