Feature/statistics update

[janniclas]

This merge request contains

• typo fixes statistic -> statistics
• added the module name to the exported json statistics, to easily identify the result files of multiple analyses.
• Update to the Docker development env file to correctly set the PATH variable
• Updates to the Dockerfile to let it build way faster ( we don't build LLVM in the image, because this image is intended to run analyses in release mode and from my understanding we don't need the custom build version of LLVM for this). This update was inspired from the test setup from PhASAR in the GitHub actions.

[janniclas]

Extended the request with a new GitHub action to build the docker image and publish it to GitHubs container registry. This can greatly ease the initial adoption of PhASAR imho. It would be even better if we also push the image to the official docker registry, if you think this is desirable just reach out to me and I can walk you through the necessary steps @pdschubert .

[pdschubert]

Hey @vulder can you tell why the pre-commit fails here? And if so, how to fix it?

Thanks! Philipp

[vulder]

@pdschubert The hook most often tells you the issue: trim trailing whitespace.................................................Failed After the docker line are trailing whitespaces, remove them and the check will be happy again :grinning: