Improved HTML report generation and translation support#45

louistrue wants to merge 2 commits intoopensource-construction:mainopensource-construction/model-checker:mainfrom

louistrue:improved-translation-etclouistrue/model-checker:improved-translation-etcCopy head branch name to clipboard